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

    Interface PreferenceProviderDataChange

    interface PreferenceProviderDataChange {
        domain?: string[];
        newValue?: JSONValue;
        oldValue?: JSONValue;
        preferenceName: string;
        scope: PreferenceScope;
    }

    Hierarchy (View Summary)

    Index

    Properties

    domain? newValue? oldValue? preferenceName scope

    Properties

    domain?: string[]

    URIs of the scopes in which this change applies.

    newValue?: JSONValue

    The new value of the changed preference. Can be undefined for multiple reasons:

    • The preference has been reset to its default value.
    • The preference has been reset and has no value explicitly stored. If undefined, use the preference service to determine the effective new value if needed.
    oldValue?: JSONValue

    The old value of the changed preference.

    preferenceName: string

    The name of the changed preference.

    scope: PreferenceScope

    The PreferenceScope of the changed preference.

    Settings

    Member Visibility

    On This Page

    Properties