From 5b44deaa30e665a3d99a4259a7429792ea1661d8 Mon Sep 17 00:00:00 2001 From: meganrogge Date: Fri, 18 Feb 2022 15:38:07 -0600 Subject: [PATCH] get rid of markers once they've been disposed via clear --- src/common/buffer/Buffer.ts | 2 ++ 1 file changed, 2 insertions(+) diff --git a/src/common/buffer/Buffer.ts b/src/common/buffer/Buffer.ts index 17831f39..1ba76ba1 100644 --- a/src/common/buffer/Buffer.ts +++ b/src/common/buffer/Buffer.ts @@ -591,10 +591,12 @@ export class Buffer implements IBuffer { for (const marker of this.markers.filter(m => m.line === y)) { marker.dispose(); } + this.markers = this.markers.filter(m => m.line !== y); } else { for (const marker of this.markers) { marker.dispose(); } + this.markers = []; } this._isClearing = false; }