Optional
isIndicates whether the proxy should be disposable. Proxies that are shared between multiple callers should not be disposable.
Optional
overrideThe 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"
Optional
prefixPrefix which is transparently added to all preference identifiers.
Optional
resourceThe default resourceUri to use if none was specified when calling "set" or "get".
Optional
styleIndicates 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.
Proxy configuration parameters.