Theia API Documentation v1.65.0
    Preparing search index...
    interface DefaultValueChangedEvent {
        key: string;
        newValue: undefined | JSONValue;
        oldValue: undefined | JSONValue;
        otherAffectedOverrides: string[];
        overrideIdentifier?: string;
    }
    Index

    Properties

    key: string

    The preference key

    newValue: undefined | JSONValue
    oldValue: undefined | JSONValue
    otherAffectedOverrides: string[]

    When the default for the base property changes, indicates which override identifiers will be affected

    overrideIdentifier?: string

    The override identifier that the default changed for