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

    A pair of offset and length that has to be highlighted as a range.

    interface Range {
        length: number;
        offset: number;
    }
    Index

    Properties

    Properties

    length: number

    The length of the highlighted region.

    offset: number

    Zero based offset of the highlighted region.