From 645a5920da704ab2e50fb922b8e3003c625881f9 Mon Sep 17 00:00:00 2001 From: Daniel Imms Date: Tue, 27 Jun 2017 10:13:16 -0700 Subject: [PATCH] Drop selection when the active buffer changes Fixes #732 --- src/SelectionManager.ts | 1 + 1 file changed, 1 insertion(+) diff --git a/src/SelectionManager.ts b/src/SelectionManager.ts index b3316ae..eb9e2bb 100644 --- a/src/SelectionManager.ts +++ b/src/SelectionManager.ts @@ -178,6 +178,7 @@ export class SelectionManager extends EventEmitter { */ public setBuffer(buffer: CircularList): void { this._buffer = buffer; + this.clearSelection(); } /** -- 2.39.5