Theia API Documentation v1.65.0
Eclipse Theia Website
GitHub
Preparing search index...
@theia/plugin-ext
hosted/node/plugin-host-rpc
ExtInterfaces
Interface ExtInterfaces
The full set of all possible
Ext
interfaces that a plugin manager can support.
interface
ExtInterfaces
{
clipboardExt
:
ClipboardExt
;
debugExt
:
DebugExtImpl
;
editorsAndDocumentsExt
:
EditorsAndDocumentsExtImpl
;
envExt
:
EnvExtImpl
;
localizationExt
:
LocalizationExtImpl
;
messageRegistryExt
:
MessageRegistryExt
;
preferenceRegistryExt
:
PreferenceRegistryExtImpl
;
secretsExt
:
SecretsExtImpl
;
storageExt
:
KeyValueStorageProxy
;
terminalServiceExt
:
TerminalServiceExtImpl
;
webviewExt
:
WebviewsExtImpl
;
workspaceExt
:
WorkspaceExtImpl
;
}
Index
Properties
clipboard
Ext
debug
Ext
editors
And
Documents
Ext
env
Ext
localization
Ext
message
Registry
Ext
preference
Registry
Ext
secrets
Ext
storage
Ext
terminal
Service
Ext
webview
Ext
workspace
Ext
Properties
clipboard
Ext
clipboardExt
:
ClipboardExt
debug
Ext
debugExt
:
DebugExtImpl
editors
And
Documents
Ext
editorsAndDocumentsExt
:
EditorsAndDocumentsExtImpl
env
Ext
envExt
:
EnvExtImpl
localization
Ext
localizationExt
:
LocalizationExtImpl
message
Registry
Ext
messageRegistryExt
:
MessageRegistryExt
preference
Registry
Ext
preferenceRegistryExt
:
PreferenceRegistryExtImpl
secrets
Ext
secretsExt
:
SecretsExtImpl
storage
Ext
storageExt
:
KeyValueStorageProxy
terminal
Service
Ext
terminalServiceExt
:
TerminalServiceExtImpl
webview
Ext
webviewExt
:
WebviewsExtImpl
workspace
Ext
workspaceExt
:
WorkspaceExtImpl
Settings
Member Visibility
Protected
Inherited
External
Theme
OS
Light
Dark
On This Page
Properties
clipboard
Ext
debug
Ext
editors
And
Documents
Ext
env
Ext
localization
Ext
message
Registry
Ext
preference
Registry
Ext
secrets
Ext
storage
Ext
terminal
Service
Ext
webview
Ext
workspace
Ext
Eclipse Theia Website
GitHub
Theia API Documentation v1.65.0
Loading...
The full set of all possible
Ext
interfaces that a plugin manager can support.