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

    In-memory preference provider used for process-lifetime overrides such as those supplied via the --session-preference CLI option. Values live in memory only and are dropped when the process exits.

    Hierarchy (View Summary)

    Implements

    Index

    Constructors

    Properties

    _ready: Deferred<void> = ...
    deferredChanges: undefined | PreferenceProviderDataChanges
    fireDidPreferencesChanged: (...arguments: []) => Promise<boolean> = ...
    onDidPreferencesChanged: Event<PreferenceProviderDataChanges> = ...
    onDidPreferencesChangedEmitter: Emitter<PreferenceProviderDataChanges> = ...
    preferences: Map<string, JSONValue> = ...
    toDispose: DisposableCollection = ...

    Accessors

    Methods

    • Retrieve the stored value for the given preference and resource URI.

      Type Parameters

      • T

      Parameters

      • preferenceName: string

        the preference identifier.

      • OptionalresourceUri: string

        the uri of the resource for which the preference is stored. This is used to retrieve a potentially different value for the same preference for different resources, for example files.encoding.

      Returns undefined | T

      the value stored for the given preference and resourceUri if it exists, otherwise undefined.