Theia API Documentation v1.65.0
Eclipse Theia Website
GitHub
Preparing search index...
@theia/plugin-ext
common/plugin-api-rpc
CellExecutionCompleteDto
Interface CellExecutionCompleteDto
interface
CellExecutionCompleteDto
{
lastRunSuccess
?:
boolean
;
runEndTime
?:
number
;
}
Index
Properties
last
Run
Success?
run
End
Time?
Properties
Optional
last
Run
Success
lastRunSuccess
?:
boolean
Optional
run
End
Time
runEndTime
?:
number
Settings
Member Visibility
Protected
Inherited
External
Theme
OS
Light
Dark
On This Page
Properties
last
Run
Success
run
End
Time
Eclipse Theia Website
GitHub
Theia API Documentation v1.65.0
Loading...