Theia API Documentation v1.65.0
    Preparing search index...
    • Create a new Range literal.

      Parameters

      • start: Position

        The range's start position.

      • end: Position

        The range's end position.

      Returns Range

    • Create a new Range literal.

      Parameters

      • startLine: number

        The start line number.

      • startCharacter: number

        The start character.

      • endLine: number

        The end line number.

      • endCharacter: number

        The end character.

      Returns Range