Options
All
  • Public
  • Public/Protected
  • All
Menu

Interface TextEditorOptionsChangeEvent

Represents an event describing the change in a text editor's options.

Hierarchy

  • TextEditorOptionsChangeEvent

Index

Properties

The new value for the text editor's options.

textEditor: TextEditor

The text editor for which the options have changed.