Theia API Documentation v1.65.0
Eclipse Theia Website
GitHub
Preparing search index...
@theia/plugin-ext-headless
common/headless-plugin-rpc
HeadlessPluginManagerInitializeParams
Interface HeadlessPluginManagerInitializeParams
interface
HeadlessPluginManagerInitializeParams
{
activationEvents
:
string
[]
;
env
:
HeadlessEnvInit
;
extApi
?:
ExtPluginApi
[]
;
globalState
:
KeysToKeysToAnyValue
;
}
Index
Properties
activation
Events
env
ext
Api?
global
State
Properties
activation
Events
activationEvents
:
string
[]
env
env
:
HeadlessEnvInit
Optional
ext
Api
extApi
?:
ExtPluginApi
[]
global
State
globalState
:
KeysToKeysToAnyValue
Settings
Member Visibility
Protected
Inherited
External
Theme
OS
Light
Dark
On This Page
Properties
activation
Events
env
ext
Api
global
State
Eclipse Theia Website
GitHub
Theia API Documentation v1.65.0
Loading...