Theia API Documentation v1.65.0
Eclipse Theia Website
GitHub
Preparing search index...
@theia/plugin-ext-headless
common/headless-plugin-protocol
MainMessageOptions
Interface MainMessageOptions
interface
MainMessageOptions
{
detail
?:
string
;
modal
?:
boolean
;
onCloseActionHandle
?:
number
;
}
Index
Properties
detail?
modal?
on
Close
Action
Handle?
Properties
Optional
detail
detail
?:
string
Optional
modal
modal
?:
boolean
Optional
on
Close
Action
Handle
onCloseActionHandle
?:
number
Settings
Member Visibility
Protected
Inherited
External
Theme
OS
Light
Dark
On This Page
Properties
detail
modal
on
Close
Action
Handle
Eclipse Theia Website
GitHub
Theia API Documentation v1.65.0
Loading...