504
505
if (headText !== null) {
507
consumedStartS0Line = headSrcRangeStartLine;
508
consumedStartS0Col = headSrcRangeStartCol;
509
}
510
>
consumedEndS0Line = headSrcRangeEndLine;
textEdit.ts
511
>
consumedEndS0Col = headSrcRangeEndCol;
512
>
513
>
const [, t2] = splitText(headText, splitLenLine, splitLenCol);
514
>
headText = t2;
515
>
headLengthLine = remainingLenLine;
516
>
headLengthCol = remainingLenCol;
517
>
518
>
headSrcRangeStartLine = headSrcRangeEndLine;
519
>
headSrcRangeStartCol = headSrcRangeEndCol;
520
} else {
521
let splitPosLine: number, splitPosCol: number;