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 紫升
Links: 搜外友链, 69中文网
Represents an event describing the change in a text editor's options.