Theia API Documentation v1.65.0
Eclipse Theia Website
GitHub
Preparing search index...
@theia/notebook
browser/service/notebook-kernel-service
INotebookProxyKernelChangeEvent
Interface INotebookProxyKernelChangeEvent
interface
INotebookProxyKernelChangeEvent
{
connectionState
?:
true
;
description
?:
true
;
detail
?:
true
;
hasExecutionOrder
?:
true
;
hasInterruptHandler
?:
true
;
label
?:
true
;
supportedLanguages
?:
true
;
}
Hierarchy (
View Summary
)
NotebookKernelChangeEvent
INotebookProxyKernelChangeEvent
Index
Properties
connection
State?
description?
detail?
has
Execution
Order?
has
Interrupt
Handler?
label?
supported
Languages?
Properties
Optional
connection
State
connectionState
?:
true
Optional
description
description
?:
true
Optional
detail
detail
?:
true
Optional
has
Execution
Order
hasExecutionOrder
?:
true
Optional
has
Interrupt
Handler
hasInterruptHandler
?:
true
Optional
label
label
?:
true
Optional
supported
Languages
supportedLanguages
?:
true
Settings
Member Visibility
Protected
Inherited
External
Theme
OS
Light
Dark
On This Page
Properties
connection
State
description
detail
has
Execution
Order
has
Interrupt
Handler
label
supported
Languages
Eclipse Theia Website
GitHub
Theia API Documentation v1.65.0
Loading...