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;
    }

    Implemented by

    Index

    Properties

    onDidChange: Event<void>

    Methods