prevent unwanted wheel events on history bar

1 files changed, 3 insertions, 0 deletions

diff --git a/ext/mixed/js/display.js b/ext/mixed/js/display.js
index 54cda0eb..a6cfe848 100644
--- a/ext/mixed/js/display.js
+++ b/ext/mixed/js/display.js
@@ -221,13 +221,16 @@ class Display {
     }
 
     onHistoryWheel(e) {
+        if (e.altKey) { return; }
         const delta = -e.deltaX || e.deltaY;
         if (delta > 0) {
             this.sourceTermView();
             e.preventDefault();
+            e.stopPropagation();
         } else if (delta < 0) {
             this.nextTermView();
             e.preventDefault();
+            e.stopPropagation();
         }
     }