Theia API Documentation v1.65.0
Eclipse Theia Website
GitHub
Preparing search index...
@theia/plugin-ext-headless
common/headless-plugin-protocol
PluginManagerInitializeParams
Interface PluginManagerInitializeParams
interface
PluginManagerInitializeParams
{
env
:
EnvInit
;
extApi
?:
ExtPluginApi
[]
;
globalState
:
KeysToKeysToAnyValue
;
jsonValidation
:
PluginJsonValidationContribution
[]
;
pluginKind
:
ExtensionKind
;
preferences
:
PreferenceData
;
supportedActivationEvents
?:
string
[]
;
webview
:
WebviewInitData
;
workspaceState
:
KeysToKeysToAnyValue
;
}
Index
Properties
env
ext
Api?
global
State
json
Validation
plugin
Kind
preferences
supported
Activation
Events?
webview
workspace
State
Properties
env
env
:
EnvInit
Optional
ext
Api
extApi
?:
ExtPluginApi
[]
global
State
globalState
:
KeysToKeysToAnyValue
json
Validation
jsonValidation
:
PluginJsonValidationContribution
[]
plugin
Kind
pluginKind
:
ExtensionKind
preferences
preferences
:
PreferenceData
Optional
supported
Activation
Events
supportedActivationEvents
?:
string
[]
webview
webview
:
WebviewInitData
workspace
State
workspaceState
:
KeysToKeysToAnyValue
Settings
Member Visibility
Protected
Inherited
External
Theme
OS
Light
Dark
On This Page
Properties
env
ext
Api
global
State
json
Validation
plugin
Kind
preferences
supported
Activation
Events
webview
workspace
State
Eclipse Theia Website
GitHub
Theia API Documentation v1.65.0
Loading...