From 8b7f7e5bd78a0b997659ae0470088564fbbe3df8 Mon Sep 17 00:00:00 2001
From: John Benediktsson <mrjbq7@gmail.com>
Date: Sun, 25 Sep 2022 14:01:07 -0700
Subject: [PATCH] help.html: only input.focus().

---
 basis/help/html/html.factor  | 2 +-
 extra/webapps/help/search.js | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/basis/help/html/html.factor b/basis/help/html/html.factor
index 77d75e9aa7..c9cd833b69 100644
--- a/basis/help/html/html.factor
+++ b/basis/help/html/html.factor
@@ -101,7 +101,7 @@ M: pathname url-of
                     if (input !== document.activeElement) {
                         event.preventDefault();
                         setTimeout(function() {
-                            input.focus().select()
+                            input.focus();
                         }, 0);
                     }
                 }
diff --git a/extra/webapps/help/search.js b/extra/webapps/help/search.js
index 7ad98c8160..8a39d8e824 100644
--- a/extra/webapps/help/search.js
+++ b/extra/webapps/help/search.js
@@ -12,7 +12,7 @@ document.addEventListener('keydown', function (event) {
             if (input !== document.activeElement) {
                 event.preventDefault();
                 setTimeout(function() {
-                    input.focus().select()
+                    input.focus();
                 }, 0);
             }
         }
-- 
2.34.1