onDidChangeTextEditorOptions property

Event<TextEditorOptionsChangeEvent> get onDidChangeTextEditorOptions

An {@link Event} which fires when the options of an editor have changed.

Implementation

_i4.Event<_i4.TextEditorOptionsChangeEvent>
    get onDidChangeTextEditorOptions => _i3.getProperty(
          this,
          'onDidChangeTextEditorOptions',
        );