GitHub
Jupyter
Preparing search index...
The search index is not available
@jupyterlab
@jupyterlab
lsp
IServerNotifyParams
Interface IServerNotifyParams
Interface describing the notifications that come from the server.
interface
IServerNotifyParams
{
"$/logTrace"
:
LogTraceParams
;
"textDocument/publishDiagnostics"
:
PublishDiagnosticsParams
;
"window/logMessage"
:
LogMessageParams
;
"window/showMessage"
:
ShowMessageParams
;
}
Index
Properties
$/log
Trace
text
Document/publish
Diagnostics
window/log
Message
window/show
Message
Properties
$/log
Trace
"$/logTrace"
:
LogTraceParams
text
Document/publish
Diagnostics
"textDocument/publishDiagnostics"
:
PublishDiagnosticsParams
window/log
Message
"window/logMessage"
:
LogMessageParams
window/show
Message
"window/showMessage"
:
ShowMessageParams
Settings
Member Visibility
Protected
Inherited
External
Theme
OS
Light
Dark
On This Page
Properties
$/log
Trace
text
Document/publish
Diagnostics
window/log
Message
window/show
Message
GitHub
Jupyter
@jupyterlab
Loading...
Interface describing the notifications that come from the server.