diff options
| -rw-r--r-- | ext/mixed/js/display.js | 3 | 
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();          }      } |