Drop selection when the active buffer changes

Fixes #732

diff --git a/src/SelectionManager.ts b/src/SelectionManager.ts
index b3316ae6cdad574ac79e867f3f64c491cf44de6a..eb9e2bb5e0e9a0989f38965bcddf44f2fea3c463 100644 (file)
--- a/src/SelectionManager.ts
+++ b/src/SelectionManager.ts
@@ -178,6 +178,7 @@ export class SelectionManager extends EventEmitter {
    */
   public setBuffer(buffer: CircularList<any>): void {
     this._buffer = buffer;
+    this.clearSelection();
   }
 
   /**