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

    Interface HeadlessPluginManagerInitializeParams

    interface HeadlessPluginManagerInitializeParams {
        activationEvents: string[];
        env: HeadlessEnvInit;
        extApi?: ExtPluginApi[];
        globalState: KeysToKeysToAnyValue;
    }
    Index

    Properties

    activationEvents env extApi? globalState

    Properties

    activationEvents: string[]
    env: HeadlessEnvInit
    extApi?: ExtPluginApi[]
    globalState: KeysToKeysToAnyValue

    Settings

    Member Visibility

    On This Page

    Properties