Theia API Documentation v1.65.0
    Preparing search index...

    The full set of all possible Ext interfaces that a plugin manager can support.

    Index

    Properties

    clipboardExt: ClipboardExt
    debugExt: DebugExtImpl
    editorsAndDocumentsExt: EditorsAndDocumentsExtImpl
    envExt: EnvExtImpl
    localizationExt: LocalizationExtImpl
    messageRegistryExt: MessageRegistryExt
    preferenceRegistryExt: PreferenceRegistryExtImpl
    secretsExt: SecretsExtImpl
    terminalServiceExt: TerminalServiceExtImpl
    webviewExt: WebviewsExtImpl
    workspaceExt: WorkspaceExtImpl