383
}
384
}
386
startIndexOfInsertion = -(candidateStartIndexOfInsertion + 1);
387
}
389
>
const decorationsImmediatelyAfter = new Set<string>();
390
>
for (let i = startIndexOfInsertion; i < this._orderedCustomLines.length; i++) {
391
if (this._orderedCustomLines[i].lineNumber === fromLineNumber) {
392
decorationsImmediatelyAfter.add(this._orderedCustomLines[i].decorationId);
393
}
394
}
395
>
const decorationsImmediatelyBefore = new Set<string>();
lineHeights.ts
396
>
for (let i = startIndexOfInsertion - 1; i >= 0; i--) {
397
if (this._orderedCustomLines[i].lineNumber === fromLineNumber - 1) {
398
decorationsImmediatelyBefore.add(this._orderedCustomLines[i].decorationId);
399
}
400
}
401
>
const decorationsWithGaps = intersection(decorationsImmediatelyBefore, decorationsImmediatelyAfter);
lineHeights.ts
402
>
const prefixSumToAdd = insertCount * this._defaultLineHeight;
403
>
for (let i = startIndexOfInsertion; i < this._orderedCustomLines.length; i++) {
404
this._orderedCustomLines[i].lineNumber += insertCount;
405
this._orderedCustomLines[i].prefixSum += prefixSumToAdd;
406
}
408
>
if (decorationsWithGaps.size > 0) {
409
for (const decorationId of decorationsWithGaps) {
410
const decoration = this._decorationIDToCustomLine.get(decorationId);