From 34f899fc45788f7a857eab627b455091e86f7543 Mon Sep 17 00:00:00 2001
From: tophf <tophf@gmx.com>
Date: Thu, 22 Oct 2020 08:51:48 +0300
Subject: [PATCH] don't start incremental search on Space or Shift-Space

---
 manage/incremental-search.js | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/manage/incremental-search.js b/manage/incremental-search.js
index 393b3a4d..4027dc27 100644
--- a/manage/incremental-search.js
+++ b/manage/incremental-search.js
@@ -86,7 +86,8 @@ onDOMready().then(() => {
       $('#search').focus();
       return;
     }
-    if (ctrl || inTextInput) {
+    if (ctrl || inTextInput ||
+        key === ' ' && !input.value /* Space or Shift-Space is for page down/up */) {
       return;
     }
     const time = performance.now();