151
152
export function lengthsToRange(lengthStart: Length, lengthEnd: Length): Range {
153
>
// eslint-disable-next-line local/code-no-any-casts, @typescript-eslint/no-explicit-any
length.ts
154
>
const l = lengthStart as any as number;
155
>
const lineCount = Math.floor(l / factor);
156
>
const colCount = l - lineCount * factor;
157
>
158
>
// eslint-disable-next-line local/code-no-any-casts, @typescript-eslint/no-explicit-any
159
>
const l2 = lengthEnd as any as number;
160
>
const lineCount2 = Math.floor(l2 / factor);
161
>
const colCount2 = l2 - lineCount2 * factor;
162
>
163
>
return new Range(lineCount + 1, colCount + 1, lineCount2 + 1, colCount2 + 1);
164
>
}
165
166
export function lengthOfRange(range: Range): TextLength {