From 426ce53778b780f6db842397252b85e621dc0ffa Mon Sep 17 00:00:00 2001
From: Jakub Jankiewicz <jcubic@onet.pl>
Date: Tue, 30 Jan 2024 22:22:45 +0100
Subject: [PATCH] fix scrolling the page in bookmark on Wikipedia

---
 lib/js/terminal.js | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/lib/js/terminal.js b/lib/js/terminal.js
index cdf5d8788..ba3e7efd1 100755
--- 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 {