fix superfluous selection.refresh calls

2023-07-22 15:12:37 +02:00
parent 514afcd445
commit bd7f76190c
2 changed files with 9 additions and 4 deletions
@@ -296,10 +296,7 @@ export class DomRenderer extends Disposable implements IRenderer {

  public handleSelectionChanged(start: [number, number] | undefined, end: [number, number] | undefined, columnSelectMode: boolean): void {
    // Remove all selections
-    while (this._selectionContainer.children.length) {
-      this._selectionContainer.removeChild(this._selectionContainer.children[0]);
-    }
-
+    this._selectionContainer.replaceChildren();
    this._rowFactory.handleSelectionChanged(start, end, columnSelectMode);
    this.renderRows(0, this._bufferService.rows - 1);