TextEditorOptionsChangeEvent$Typings extension

on

Properties

options TextEditorOptions
The new value for the {@link TextEditor.optionstext editor's options}.
no setter
textEditor TextEditor
The {@link TextEditortext editor} for which the options have changed.
no setter