help.html: only input.focus().
authorJohn Benediktsson <mrjbq7@gmail.com>
Sun, 25 Sep 2022 21:01:07 +0000 (14:01 -0700)
committerJohn Benediktsson <mrjbq7@gmail.com>
Sun, 25 Sep 2022 21:01:07 +0000 (14:01 -0700)
basis/help/html/html.factor
extra/webapps/help/search.js

index 77d75e9aa73430cd5da5266e36d9a7e80ce6c5ec..c9cd833b69c4888f60413f4eabd20081a499c475 100644 (file)
@@ -101,7 +101,7 @@ M: pathname url-of
                     if (input !== document.activeElement) {
                         event.preventDefault();
                         setTimeout(function() {
-                            input.focus().select()
+                            input.focus();
                         }, 0);
                     }
                 }
index 7ad98c8160029921fa82409d1b6e4c244e50e408..8a39d8e824ebb7e71a7320131e9738ee585bf7a5 100644 (file)
@@ -12,7 +12,7 @@ document.addEventListener('keydown', function (event) {
             if (input !== document.activeElement) {
                 event.preventDefault();
                 setTimeout(function() {
-                    input.focus().select()
+                    input.focus();
                 }, 0);
             }
         }