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

    Constructors

    Properties

    disabledPlugins: Set<`${string}.${string}@${string}`> = ...
    initialized: Deferred<void> = ...
    onDidChangeDisabledPlugins: Event<readonly `${string}.${string}@${string}`[]> = ...
    onDidChangeDisabledPluginsEmitter: Emitter<
        readonly `${string}.${string}@${string}`[],
    > = ...
    onDidChangeUninstalledPlugins: Event<readonly `${string}.${string}@${string}`[]> = ...
    onDidChangeUninstalledPluginsEmitter: Emitter<
        readonly `${string}.${string}@${string}`[],
    > = ...
    settingService: SettingService
    uninstalledPlugins: Set<`${string}.${string}@${string}`> = ...
    DISABLED_PLUGINS: string = 'installedPlugins.disabledPlugins'

    Methods