Theia API Documentation v1.65.0
    Preparing search index...
    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)

    Index

    Methods

    • Parameters

      • event: string

      Returns Promise<void>

    • Parameters

      • id: string

      Returns Promise<void>

    • initialize the manager, should be called only once

      Parameters

      • params: P

      Returns Promise<void>

    • deactivate the plugin

      Parameters

      • pluginId: string

      Returns Promise<void>

    • deactivate all plugins

      Returns Promise<void>

    • Parameters

      • path: undefined | string

      Returns Promise<void>