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

    Interface AbstractPluginManagerExt<P>

    interface AbstractPluginManagerExt<P extends Record<string, any>> {
        $activateByEvent(event: string): Promise<void>;
        $activatePlugin(id: string): Promise<void>;
        $init(params: P): Promise<void>;
        $start(params: PluginManagerStartParams): Promise<void>;
        $stop(pluginId: string): Promise<void>;
        $stop(): Promise<void>;
        $updateStoragePath(path: undefined | string): Promise<void>;
    }

    Type Parameters

    • P extends Record<string, any>

    Hierarchy (View Summary)

    Implemented by

    Index

    Methods

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

    Methods

    Settings

    Member Visibility

    On This Page

    Methods