Represents an event describing the change in a text editor's options.
The text editor for which the options have changed.
The new value for the text editor's options.
Generated by TypeDoc. Maintained by 洛竹
Represents an event describing the change in a text editor's options.