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

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

    interface TextEditorSelectionChangeEvent {
        kind: undefined | TextEditorSelectionChangeKind;
        selections: readonly Selection[];
        textEditor: TextEditor;
    }
    Index

    Properties

    The change kind which has triggered this event. Can be undefined.

    selections: readonly Selection[]

    The new value for the text editor's selections.

    textEditor: TextEditor

    The text editor for which the selections have changed.