Theia API Documentation v1.65.0
    Preparing search index...
    interface PreferenceRegistryMain {
        $removeConfigurationOption(
            target: undefined | boolean | ConfigurationTarget,
            key: string,
            resource?: string,
            withLanguageOverride?: boolean,
        ): PromiseLike<void>;
        $updateConfigurationOption(
            target: undefined | boolean | ConfigurationTarget,
            key: string,
            value: any,
            resource?: string,
            withLanguageOverride?: boolean,
        ): PromiseLike<void>;
    }

    Implemented by

    Index

    Methods