GitHub
Jupyter
Preparing search index...
The search index is not available
@jupyterlab
@jupyterlab
lsp
LanguageServersExperimental
Interface LanguageServersExperimental
Language Server Protocol settings.
interface
LanguageServersExperimental
{
activate
?:
Activate
;
languageServers
?:
LanguageServer
;
logAllCommunication
?:
boolean
;
setTrace
?:
AskServersToSendTraceNotifications
;
[
k
:
string
]:
any
;
}
Indexable
[
k
:
string
]:
any
Index
Properties
activate?
language
Servers?
log
All
Communication?
set
Trace?
Properties
Optional
activate
activate
?:
Activate
Optional
language
Servers
languageServers
?:
LanguageServer
Optional
log
All
Communication
logAllCommunication
?:
boolean
Optional
set
Trace
setTrace
?:
AskServersToSendTraceNotifications
Settings
Member Visibility
Protected
Inherited
External
Theme
OS
Light
Dark
On This Page
Properties
activate
language
Servers
log
All
Communication
set
Trace
GitHub
Jupyter
@jupyterlab
Loading...
Language Server Protocol settings.