435
436
if (headIsInfinite) {
437
>
let distLine: number, distCol: number;
textEdit.ts
438
>
if (currentPosInS1Line === r2End.lineNumber) {
439
distLine = 0;
440
distCol = r2End.column - currentPosInS1Col;
442
distLine = r2End.lineNumber - currentPosInS1Line;
443
distCol = r2End.column - 1;
444
}
446
>
let rangeInS0EndLine: number, rangeInS0EndCol: number;
447
>
if (distLine === 0) {
448
rangeInS0EndLine = headSrcRangeStartLine;
449
rangeInS0EndCol = headSrcRangeStartCol + distCol;
451
rangeInS0EndLine = headSrcRangeStartLine + distLine;
452
rangeInS0EndCol = distCol + 1;
453
}
455
>
if (consumedStartS0Line === null) {
456
consumedStartS0Line = headSrcRangeStartLine;
457
consumedStartS0Col = headSrcRangeStartCol;
458
}
459
>
consumedEndS0Line = rangeInS0EndLine;
textEdit.ts
460
>
consumedEndS0Col = rangeInS0EndCol;
461
>
462
>
currentPosInS1Line = r2End.lineNumber;
463
>
currentPosInS1Col = r2End.column;
464
>
465
>
headSrcRangeStartLine = rangeInS0EndLine;
466
>
headSrcRangeStartCol = rangeInS0EndCol;
467
>
break;
468
>
}
469
470
let headEndInS1Line: number, headEndInS1Col: number;