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

    Interface LineRangeMapping

    interface LineRangeMapping {
        left: LineRange;
        right: LineRange;
    }

    Hierarchy (View Summary)

    Index

    Properties

    left right

    Properties

    left: LineRange
    right: LineRange

    Settings

    Member Visibility

    On This Page

    Properties