GitHub
Jupyter
Preparing search index...
The search index is not available
@jupyterlab
@jupyterlab
services
Terminal
ITerminalConnection
IOptions
Interface IOptions
interface
IOptions
{
model
:
Terminal
.
IModel
;
serverSettings
?:
ServerConnection
.
ISettings
;
terminalAPIClient
?:
ITerminalAPIClient
;
}
Index
Properties
model
server
Settings?
terminalAPIClient?
Properties
model
model
:
Terminal
.
IModel
Terminal model.
Optional
server
Settings
serverSettings
?:
ServerConnection
.
ISettings
The server settings.
Optional
terminalAPIClient
terminalAPIClient
?:
ITerminalAPIClient
The Terminal API client.
Settings
Member Visibility
Protected
Inherited
External
Theme
OS
Light
Dark
On This Page
Properties
model
server
Settings
terminalAPIClient
GitHub
Jupyter
@jupyterlab
Loading...
Terminal model.