diff --git a/sphinx/themes/basic/static/doctools.js b/sphinx/themes/basic/static/doctools.js
index 86598f583de..6d3913ada8e 100644
--- a/sphinx/themes/basic/static/doctools.js
+++ b/sphinx/themes/basic/static/doctools.js
@@ -324,7 +324,8 @@ var Documentation = {
               Documentation.hideSearchWords();
               return false;
           }
-        } else if (!event.altKey && !event.ctrlKey && !event.metaKey) {
+        }
+        if (!event.altKey && !event.ctrlKey && !event.metaKey) {
           // some keyboard layouts need Shift to get /
           switch (event.key) {
             case '/':