Theia API Documentation v1.65.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.

    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