fix scrolling the page in bookmark on Wikipedia

jcubic · Jan 30, 2024 · 426ce53 · 426ce53
1 parent 7455eef
commit 426ce53
Showing 1 changed file with 5 additions and 0 deletions.
diff --git a/lib/js/terminal.js b/lib/js/terminal.js
@@ -115,6 +115,11 @@ var terminal = (function($) {
             enabled: false,
             greetings: false,
             keymap: {
+                SPACE: function(e, original) {
+                    e.preventDefault();
+                    e.stopPropagation();
+                    original();
+                },
                 ENTER: function(e, original) {
                     var command = this.get_command();
                     try {