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

    Type Alias PluginEngine

    PluginEngine: string

    Plugin engine (API) type, i.e. 'theiaPlugin', 'vscode', 'theiaHeadlessPlugin', etc.

    Settings

    Member Visibility