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

    Implements

    Index

    Constructors

    Properties

    _overrideIdentifiers: Set<string> = ...
    _ready: Deferred<void> = ...
    defaultOverrides: Map<string, Map<string | object, [number, JSONValue][]>> = ...

    This map stores default overrides. The primary map key is the base preference name. The preference name maps to a second map keyed by the override identifier or a special object value `NO_OVERRIDE', representing default overrides for the base property. The value in this second map is an array of entries in reverse order of their insertion. This is necessary becuaus multiple clients might register overrides for the same preference key/override combination. The elements in this array consist of a unique, generated identifier and the actual override value. This allows us to always return the last registerd override even when overrides are later removed.

    defaultValueChangedEmitter: Emitter<DefaultValueChangedEvent> = ...

    Event emitters

    jsonSchemas: IJSONSchema[] = []
    nextOverrideValueId: number = 1
    nextSchemaTitle: number = 1
    onDidChangeDefaultValue: Event<DefaultValueChangedEvent> = ...

    Public events

    onDidChangeSchema: Event<void> = ...
    properties: Map<string, PreferenceDataProperty> = ...
    schemaChangedEmitter: Emitter<void> = ...
    schemas: Set<PreferenceSchema> = ...

    Storage structures

    validScopes: readonly PreferenceScope[]

    The scopes which this preference schema service handles. Any properties that are not applicable within the valid scopes will be ignored

    Accessors

    Methods

    • Get the default value for a preference. This is the value a client will see for the given key/override

      Parameters

      • key: string

        The preference key

      • overrideIdentifier: undefined | string

        The override identifier, undefined for global default

      Returns undefined | JSONValue

      The default value or undefined if not found

    • Gets the default value for a preference. This method not fall back to the global value if no override is given

      Parameters

      • key: string

        The preference key

      • overrideIdentifier: undefined | string

        The override identifier, undefined for global default

      Returns undefined | JSONValue

      The default value or undefined if not found

    • Register an override for a preference default value. If multiple overrides are registered for the same value, the last override will be in effect. Removing the last override will make the second-to-last override active, etc.

      Parameters

      • key: string

        The preference key

      • overrideIdentifier: undefined | string

        The override identifier, undefined for global default

      • value: JSONValue

        The default value

      Returns Disposable

      A disposable to unregister the override