TextEditorOptionsChangeEvent$Typings extension

on

Properties

options → TextEditorOptions

Available on TextEditorOptionsChangeEvent, provided by the TextEditorOptionsChangeEvent$Typings extension

The new value for the {@link TextEditor.optionstext editor's options}.
no setter
textEditor → TextEditor

Available on TextEditorOptionsChangeEvent, provided by the TextEditorOptionsChangeEvent$Typings extension

The {@link TextEditortext editor} for which the options have changed.
no setter