ReadonlyadaptersReadonlyconnectionsMap between the URI of the virtual document and its connection to the language server
ReadonlydocumentsMap between the URI of the virtual document and the document itself.
AlphainitialInitial configuration for the language servers.
ReadonlylanguageThe language server manager plugin.
AlphaclosedConnection was closed permanently and no-reconnection will be attempted, e.g.:
AlphaconnectedSignal emitted when the manager is connected to the server
AlphadisconnectedConnection temporarily lost or could not be fully established; a re-connection will be attempted;
AlphadocumentsSignal emitted when the document is changed.
AlphainitializedSignal emitted when the manager is initialized.
AlphareadyCreate a new connection to the language server
A promise of the LSP connection
Helper to connect various virtual document signal with callbacks of this class.
virtual document to be connected.
AlphaDisconnect the connection to the language server of the requested language.
Helper to disconnect various virtual document signal with callbacks of this class.
virtual document to be disconnected.
Handle foreign document closed event.
Handle foreign document opened event.
path to the inner document of the adapter
the adapter to be registered
Retry to connect to the server each reconnectDelay seconds
and for retrialsLeft times.
TODO: presently no longer referenced. A failing connection would close
the socket, triggering the language server on the other end to exit.
AlphaHandles the settings that do not require an existing connection
with a language server (or can influence to which server the
connection will be created, e.g. rank).
This function should be called before initialization of servers.
AlphaEnable or disable the logging of language server communication.
AlphaHandles the settings that the language servers accept using
onDidChangeConfiguration messages, which should be passed under
the "serverSettings" keyword in the setting registry.
Other configuration options are handled by updateConfiguration instead.
This function should be called after initialization of servers.
Each Widget with a document (whether file or a notebook) has the same DocumentConnectionManager (see JupyterLabWidgetAdapter). Using id_path instead of uri led to documents being overwritten as two identical id_paths could be created for two different notebooks.