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>;
    }
    Index

    Methods

    • Parameters

      • target: undefined | boolean | ConfigurationTarget
      • key: string
      • Optionalresource: string
      • OptionalwithLanguageOverride: boolean

      Returns PromiseLike<void>

    • Parameters

      • target: undefined | boolean | ConfigurationTarget
      • key: string
      • value: any
      • Optionalresource: string
      • OptionalwithLanguageOverride: boolean

      Returns PromiseLike<void>