ReadonlyconfigSignal 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.
ReadonlyisDispose 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.
Set config options for the editor.
You will need to reconfigure the editor extensions by listening
to IExtensionsHandler.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.
Interface of CodeMirror editor extensions handler
Notes
This handler is instantiated for each editor to manage its own set of extensions.