Theia API Documentation v1.65.0
    Preparing search index...
    interface PluginManager {
        onDidChange: Event<void>;
        activatePlugin(pluginId: string): PromiseLike<void>;
        getAllPlugins(): Plugin[];
        getPluginById(pluginId: string): undefined | Plugin;
        getPluginExport(pluginId: string): undefined | PluginAPI;
        getPluginKind(): ExtensionKind;
        isActive(pluginId: string): boolean;
        isRunning(pluginId: string): boolean;
    }
    Index

    Properties

    onDidChange: Event<void>

    Methods

    • Parameters

      • pluginId: string

      Returns PromiseLike<void>

    • Returns Plugin[]

    • Parameters

      • pluginId: string

      Returns undefined | Plugin

    • Parameters

      • pluginId: string

      Returns undefined | PluginAPI

    • Parameters

      • pluginId: string

      Returns boolean

    • Parameters

      • pluginId: string

      Returns boolean