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

    Functions

    create
    createEmptyLineRange
    createSingleLineRange
    getEndPosition
    getLineCount
    getStartPosition
    isEmpty
    toRange