Theia API Documentation v1.65.0
    Preparing search index...

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

    interface TextEditorOptionsChangeEvent {
        options: TextEditorOptions;
        textEditor: TextEditor;
    }
    Index

    Properties

    Properties

    The new value for the text editor's options.

    textEditor: TextEditor

    The text editor for which the options have changed.