185
}
186
}
188
189
private _doInsertOrChangeCustomLineHeight(decorationId: string, startLineNumber: number, endLineNumber: number, lineHeight: number, stagedInserts: CustomLine[], stagedIdMap: ArrayMap<string, CustomLine>): void {
190
>
this._doRemoveCustomLineHeight(decorationId, stagedIdMap);
lineHeights.ts
191
>
for (let lineNumber = startLineNumber; lineNumber <= endLineNumber; lineNumber++) {
192
>
const customLine = new CustomLine(decorationId, -1, lineNumber, lineHeight, 0);
193
>
stagedInserts.push(customLine);
194
>
stagedIdMap.add(decorationId, customLine);
195
>
}
196
>
}
197
198
private _flushStagedDecorationChanges(stagedInserts: CustomLine[], stagedIdMap: ArrayMap<string, CustomLine>): void {