GitHub
Jupyter
Preparing search index...
The search index is not available
@jupyterlab
@jupyterlab
services
BaseManager
IOptions
Interface IOptions
The options used to initialize a SessionManager.
interface
IOptions
{
serverSettings
?:
ServerConnection
.
ISettings
;
}
Hierarchy (
view full
)
IOptions
KernelManager
.
IOptions
KernelSpecManager
.
IOptions
SessionManager
.
IOptions
TerminalManager
.
IOptions
UserManager
.
IOptions
Index
Properties
server
Settings?
Properties
Optional
server
Settings
server
Settings
?:
ServerConnection
.
ISettings
The server settings for the manager.
Settings
Member Visibility
Protected
Private
Inherited
External
Theme
OS
Light
Dark
On This Page
server
Settings
@jupyterlab
Loading...
The options used to initialize a SessionManager.