Construct a new kernel spec manager.
The default options for kernel.
The server settings for the manager.
A signal emitted when there is a connection failure.
A signal emitted when the delegate is disposed.
Test whether the delegate has been disposed.
Test whether the manager is ready.
A promise that fulfills when the manager is ready.
Get the most recently fetched kernel specs.
A signal emitted when the specs change.
Dispose of the resources used by the manager.
Force a refresh of the specs from the server.
A promise that resolves when the specs are fetched.
This is intended to be called only in response to a user action, since the manager maintains its internal state.
Execute a request to the server to poll specs and update state.
Generated using TypeDoc
An implementation of a kernel spec manager.