367
368
if (r2StartIsBeforeHeadEnd) {
369
>
let splitLenLine: number, splitLenCol: number;
textEdit.ts
370
>
if (currentPosInS1Line === r2Start.lineNumber) {
371
splitLenLine = 0;
372
splitLenCol = r2Start.column - currentPosInS1Col;
374
splitLenLine = r2Start.lineNumber - currentPosInS1Line;
375
splitLenCol = r2Start.column - 1;
376
}
378
>
let remainingLenLine: number, remainingLenCol: number;
379
>
if (splitLenLine === headLengthLine) {
380
remainingLenLine = 0;
381
remainingLenCol = headLengthCol - splitLenCol;
383
remainingLenLine = headLengthLine - splitLenLine;
384
remainingLenCol = headLengthCol;
385
}
387
>
if (headText !== null) {
388
const [t1, t2] = splitText(headText, splitLenLine, splitLenCol);
389
resultReplacements.push(new TextReplacement(new Range(headSrcRangeStartLine, headSrcRangeStartCol, headSrcRangeEndLine, headSrcRangeEndCol), t1));