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

    Representation of a preference change. A preference value can be set to undefined for a specific scope. This means that the value from a more general scope will be used.

    Hierarchy (View Summary)

    Index

    Constructors

    Properties

    overrideIdentifier?: string

    Accessors

    • get newValue(): undefined | 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.

      Returns undefined | JSONValue

    Methods