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

    Interface PluginManagerExt

    interface PluginManagerExt {
        $activateByEvent(event: string): Promise<void>;
        $activatePlugin(id: string): Promise<void>;
        $init(params: PluginManagerInitializeParams): Promise<void>;
        $start(params: PluginManagerStartParams): Promise<void>;
        $stop(pluginId: string): Promise<void>;
        $stop(): Promise<void>;
        $updateStoragePath(path: undefined | string): Promise<void>;
    }

    Hierarchy (View Summary)

    Implemented by

    Index

    Methods

    $activateByEvent $activatePlugin $init $start $stop $updateStoragePath

    Methods

    Settings

    Member Visibility

    On This Page

    Methods