142
return;
143
}
145
>
this._pendingChanges = [];
146
>
this._hasPending = false;
147
>
148
>
const stagedInserts: CustomLine[] = [];
149
>
const stagedIdMap = new ArrayMap<string, CustomLine>();
150
>
for (const change of changes) {
151
>
switch (change.kind) {
152
>
case PendingChangeKind.Remove:
153
this._doRemoveCustomLineHeight(change.decorationId, stagedIdMap);
154
break;
156
this._doInsertOrChangeCustomLineHeight(change.decorationId, change.startLineNumber, change.endLineNumber, change.lineHeight, stagedInserts, stagedIdMap);
157
break;
159
this._flushStagedDecorationChanges(stagedInserts, stagedIdMap);
160
this._doLinesDeleted(change.fromLineNumber, change.toLineNumber);
161
break;
163
this._flushStagedDecorationChanges(stagedInserts, stagedIdMap);
164
this._doLinesInserted(change.fromLineNumber, change.toLineNumber, stagedInserts, stagedIdMap);
165
break;
167
>
}
168
>
this._flushStagedDecorationChanges(stagedInserts, stagedIdMap);
169
}
170