GitHub
Jupyter
Preparing search index...
The search index is not available
@jupyterlab
@jupyterlab
lsp
DocumentConnectionManager
IOptions
Interface IOptions
interface
IOptions
{
adapterTracker
:
IWidgetLSPAdapterTracker
<
WidgetLSPAdapter
<
IDocumentWidget
<
Widget
,
DocumentRegistry
.
IModel
>
>
,
>
;
languageServerManager
:
ILanguageServerManager
;
}
Index
Properties
adapter
Tracker
language
Server
Manager
Properties
adapter
Tracker
adapterTracker
:
IWidgetLSPAdapterTracker
<
WidgetLSPAdapter
<
IDocumentWidget
<
Widget
,
DocumentRegistry
.
IModel
>
>
,
>
The WidgetLSPAdapter's tracker.
language
Server
Manager
languageServerManager
:
ILanguageServerManager
The language server manager instance.
Settings
Member Visibility
Protected
Inherited
External
Theme
OS
Light
Dark
On This Page
Properties
adapter
Tracker
language
Server
Manager
GitHub
Jupyter
@jupyterlab
Loading...
The WidgetLSPAdapter's tracker.