From ffad78f7d480cb49a43af0db8b25d731be423f1a Mon Sep 17 00:00:00 2001
From: siikamiika <siikamiika@users.noreply.github.com>
Date: Mon, 24 Feb 2020 08:57:48 +0200
Subject: temporarily disable navigation header mouse wheel

Unblock release #355, #376
---
 ext/mixed/js/display.js | 9 +++++----
 1 file changed, 5 insertions(+), 4 deletions(-)

diff --git a/ext/mixed/js/display.js b/ext/mixed/js/display.js
index 8113260c..5d3076ee 100644
--- a/ext/mixed/js/display.js
+++ b/ext/mixed/js/display.js
@@ -303,7 +303,7 @@ class Display {
         if (interactive) {
             const actionPrevious = document.querySelector('.action-previous');
             const actionNext = document.querySelector('.action-next');
-            const navigationHeader = document.querySelector('.navigation-header');
+            // const navigationHeader = document.querySelector('.navigation-header');
 
             this.persistentEventListeners.addEventListener(document, 'keydown', this.onKeyDown.bind(this), false);
             this.persistentEventListeners.addEventListener(document, 'wheel', this.onWheel.bind(this), {passive: false});
@@ -313,9 +313,10 @@ class Display {
             if (actionNext !== null) {
                 this.persistentEventListeners.addEventListener(actionNext, 'click', this.onNextTermView.bind(this));
             }
-            if (navigationHeader !== null) {
-                this.persistentEventListeners.addEventListener(navigationHeader, 'wheel', this.onHistoryWheel.bind(this), {passive: false});
-            }
+            // temporarily disabled
+            // if (navigationHeader !== null) {
+            //     this.persistentEventListeners.addEventListener(navigationHeader, 'wheel', this.onHistoryWheel.bind(this), {passive: false});
+            // }
         } else {
             this.persistentEventListeners.removeAllEventListeners();
         }
-- 
cgit v1.2.3