From 8eac191c97b755d7b090a46055b183750e6faa45 Mon Sep 17 00:00:00 2001
From: siikamiika <siikamiika@users.noreply.github.com>
Date: Wed, 5 Feb 2020 14:19:48 +0200
Subject: [PATCH] prevent unwanted wheel events on history bar

---
 ext/mixed/js/display.js | 3 +++
 1 file changed, 3 insertions(+)

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();
         }
     }