get rid of markers once they've been disposed via clear

This commit is contained in:
meganrogge
2022-02-18 15:38:07 -06:00
parent 816f62cebc
commit 5b44deaa30
+2
View File
@@ -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;
}