Interface PreferenceProxyOptions

Indicates whether the proxy should be disposable. Proxies that are shared between multiple callers should not be disposable.

The overrideIdentifier to use with the underlying preferenceService. Useful to potentially override existing values while keeping both values in store.

For example to store different editor settings, e.g. "[markdown].editor.autoIndent", "[json].editor.autoIndent" and "editor.autoIndent"

Prefix which is transparently added to all preference identifiers.

The default resourceUri to use if none was specified when calling "set" or "get".

Indicates whether '.' in schema properties shall be interpreted as regular names (flat), as declaring nested objects (deep) or both. Default is flat.

When 'deep' or 'both' is given, nested preference proxies can be retrieved.