An interface for manipulating the settings of a specific plugin.
A signal that emits when the plugin's settings have changed.
The composite of user settings and extension defaults.
The plugin's ID.
Test whether the object has been disposed.
This property is always safe to access.
The plugin settings raw text value.
The plugin's schema.
The user settings.
The published version of the NPM package containing these settings.
Return the defaults in a commented JSON format.
Calculate the default value of a setting by iterating through the schema.
The name of the setting whose default value is calculated.
A calculated default JSON value for a specific setting.
Dispose of the resources held by the object.
If the object's
dispose method is called more than once, all
calls made after the first will be a no-op.
It is undefined behavior to use any functionality of the object after it has been disposed unless otherwise explicitly noted.
Get an individual setting.
The name of the setting being retrieved.
The setting value.
Save all of the plugin's user settings at once.
Generated using TypeDoc