help.html: only input.focus().

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

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