Theia API Documentation v1.65.0
Eclipse Theia Website
GitHub
Preparing search index...
@theia/notebook
browser/service/notebook-execution-state-service
CellExecutionStateUpdate
Interface CellExecutionStateUpdate
interface
CellExecutionStateUpdate
{
didPause
?:
boolean
;
editType
:
ExecutionState
;
executionOrder
?:
number
;
isPaused
?:
boolean
;
runStartTime
?:
number
;
}
Index
Properties
did
Pause?
edit
Type
execution
Order?
is
Paused?
run
Start
Time?
Properties
Optional
did
Pause
didPause
?:
boolean
edit
Type
editType
:
ExecutionState
Optional
execution
Order
executionOrder
?:
number
Optional
is
Paused
isPaused
?:
boolean
Optional
run
Start
Time
runStartTime
?:
number
Settings
Member Visibility
Protected
Inherited
External
Theme
OS
Light
Dark
On This Page
Properties
did
Pause
edit
Type
execution
Order
is
Paused
run
Start
Time
Eclipse Theia Website
GitHub
Theia API Documentation v1.65.0
Loading...