Theia API Documentation v1.65.0
Eclipse Theia Website
GitHub
Preparing search index...
@theia/plugin-ext
common/plugin-api-rpc
NotebookKernelDto
Interface NotebookKernelDto
interface
NotebookKernelDto
{
description
?:
string
;
detail
?:
string
;
extensionId
:
string
;
extensionLocation
:
UriComponents
;
id
:
string
;
label
:
string
;
notebookType
:
string
;
preloads
?:
{
provides
:
readonly
string
[]
;
uri
:
UriComponents
}
[]
;
rendererScripts
?:
NotebookRendererScript
[]
;
supportedLanguages
?:
string
[]
;
supportsExecutionOrder
?:
boolean
;
supportsInterrupt
?:
boolean
;
}
Index
Properties
description?
detail?
extension
Id
extension
Location
id
label
notebook
Type
preloads?
renderer
Scripts?
supported
Languages?
supports
Execution
Order?
supports
Interrupt?
Properties
Optional
description
description
?:
string
Optional
detail
detail
?:
string
extension
Id
extensionId
:
string
extension
Location
extensionLocation
:
UriComponents
id
id
:
string
label
label
:
string
notebook
Type
notebookType
:
string
Optional
preloads
preloads
?:
{
provides
:
readonly
string
[]
;
uri
:
UriComponents
}
[]
Optional
renderer
Scripts
rendererScripts
?:
NotebookRendererScript
[]
Optional
supported
Languages
supportedLanguages
?:
string
[]
Optional
supports
Execution
Order
supportsExecutionOrder
?:
boolean
Optional
supports
Interrupt
supportsInterrupt
?:
boolean
Settings
Member Visibility
Protected
Inherited
External
Theme
OS
Light
Dark
On This Page
Properties
description
detail
extension
Id
extension
Location
id
label
notebook
Type
preloads
renderer
Scripts
supported
Languages
supports
Execution
Order
supports
Interrupt
Eclipse Theia Website
GitHub
Theia API Documentation v1.65.0
Loading...