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

[factor.git] / basis / help / html / html.factor

diff --git a/basis/help/html/html.factor b/basis/help/html/html.factor
index 4cd0f8c889da55ad40ea890a9f3b1dd952f45038..ce4c206eaca45d8872154eb498ebbbfbe04bd7d3 100644 (file)
--- a/basis/help/html/html.factor
+++ b/basis/help/html/html.factor
@@ -98,6 +98,7 @@ M: pathname url-of
             if (event.code == 'Slash') {
                 let input = document.getElementById('search');
                 if (input !== document.activeElement) {
+                    event.preventDefault();
                     setTimeout(function() {
                         input.focus().select()
                     }, 0);