Class ExtensionsHandler

Signal triggered when the editor configuration changes. It provides the mapping of the new configuration (only those that changed).

It should result in a call to IExtensionsHandler.reconfigureExtensions.

A signal emitted when the object is disposed.

Tests whether the object is disposed.

Dispose of the resources held by the object.

Returns the list of initial extensions of an editor based on the configuration.

Get a config option for the editor.

Whether the option exists or not.

Appends extensions to the top-level configuration of the editor.

Injected extension cannot be removed.

Notes

You should prefer registering a IEditorExtensionFactory instead of this feature.

Reconfigures the extension mapped with key with the provided value.

Reconfigures all the extensions mapped with the options from the provided partial configuration.

Set a base config option for the editor.

You will need to reconfigure the editor extensions by listening to IExtensionsHandler.configChanged.

Set a config option for the editor.

You will need to reconfigure the editor extensions by listening to IExtensionsHandler.configChanged.

Set config options for the editor.

You will need to reconfigure the editor extensions by listening to EditorHandler.configChanged.

This method is preferred when setting several options. The options are set within an operation, which only performs the costly update at the end, and not after every option is set.