help.html: only input.focus().

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

diff --git a/extra/webapps/help/search.js b/extra/webapps/help/search.js
index 7ad98c8160029921fa82409d1b6e4c244e50e408..8a39d8e824ebb7e71a7320131e9738ee585bf7a5 100644 (file)
--- 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);
             }
         }