help.html: prevent firefox quick find using '/' key

[factor.git] / extra / webapps / help / search.js

diff --git a/extra/webapps/help/search.js b/extra/webapps/help/search.js
index b48c5771bb27507009c4c25c6ba39b4e712912bb..db99569fc4e834bd9bccfa455f364855936f3ec2 100644 (file)
--- a/extra/webapps/help/search.js
+++ b/extra/webapps/help/search.js
@@ -9,6 +9,7 @@ document.addEventListener('keydown', function (event) {
     if (event.code == 'Slash') {
         let input = document.getElementById('search');
         if (input !== document.activeElement) {
+            event.preventDefault();
             setTimeout(function() {
                 input.focus().select()
             }, 0);