Theia API Documentation v1.65.0
    Preparing search index...
    interface Selection {
        positionColumn: number;
        positionLineNumber: number;
        selectionStartColumn: number;
        selectionStartLineNumber: number;
    }
    Index

    Properties

    positionColumn: number

    The column on positionLineNumber where the selection has ended.

    positionLineNumber: number

    The line number on which the selection has ended.

    selectionStartColumn: number

    The column on selectionStartLineNumber where the selection has started.

    selectionStartLineNumber: number

    The line number on which the selection has started.