Theia API Documentation v1.65.0
Eclipse Theia Website
GitHub
Preparing search index...
@theia/plugin-ext
common/plugin-api-rpc
CellExecutionStateUpdateDto
Interface CellExecutionStateUpdateDto
interface
CellExecutionStateUpdateDto
{
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...