waveterm/xterm.js
0
0
Fork 0
mirror of https://github.com/wavetermdev/xterm.js.git synced 2026-08-05 13:43:48 -07:00
Code Issues Packages Projects Releases Wiki Activity

Only flush when needed

Browse Source
This commit is contained in:
Daniel Imms
2024-04-20 10:52:43 -07:00
parent 69c4966804
commit 45fd3c900f
1 changed files with 6 additions and 6 deletions
Download Patch File Download Diff File Expand all files Collapse all files
src/common/SortedList.ts
+6 -6
View File
@@ -22,7 +22,7 @@ export class SortedList<T> {
private readonly _deletedIndices: Set<number> = new Set();
private readonly _flushDeletedTask = new IdleTaskQueue();
private _isflushingDeleted = false;
private _isFlushingDeleted = false;
constructor(
private readonly _getKey: (value: T) => number
@@ -33,7 +33,7 @@ export class SortedList<T> {
this._array.length = 0;
this._deletedIndices.clear();
this._flushDeletedTask.clear();
this._isflushingDeleted = false;
this._isFlushingDeleted = false;
}
public insert(value: T): void {
@@ -65,7 +65,7 @@ export class SortedList<T> {
}
private _flushCleanupInserted(): void {
if (!this._isFlushingInserted) {
if (!this._isFlushingInserted && this._insertedValues.size > 0) {
this._flushInsertedTask.flush();
}
}
@@ -99,7 +99,7 @@ export class SortedList<T> {
}
private _flushDeleted(): void {
this._isflushingDeleted = true;
this._isFlushingDeleted = true;
const sortedDeletedIndices = Array.from(this._deletedIndices).sort((a, b) => a - b);
let sortedDeletedIndicesIndex = 0;
const newArray = new Array(this._array.length - sortedDeletedIndices.length);
@@ -113,11 +113,11 @@ export class SortedList<T> {
}
this._array = newArray;
this._deletedIndices.clear();
this._isflushingDeleted = false;
this._isFlushingDeleted = false;
}
private _flushCleanupDeleted(): void {
if (!this._isflushingDeleted) {
if (!this._isFlushingDeleted && this._deletedIndices.size > 0) {
this._flushDeletedTask.flush();
}
}