From cecb978bae17cfda6701194d6e7739d5d041f039 Mon Sep 17 00:00:00 2001
From: John Benediktsson <mrjbq7@gmail.com>
Date: Sun, 25 Sep 2022 10:35:40 -0700
Subject: [PATCH] help.html: implement "/" for making search box active.

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

diff --git a/basis/help/html/html.factor b/basis/help/html/html.factor
index d179b3ef3a..4cd0f8c889 100644
--- a/basis/help/html/html.factor
+++ b/basis/help/html/html.factor
@@ -91,12 +91,31 @@ M: pathname url-of
         />
     XML] ;
 
+: help-script ( -- xml )
+    [XML
+        <script type="text/javascript">
+        document.addEventListener('keydown', function (event) {
+            if (event.code == 'Slash') {
+                let input = document.getElementById('search');
+                if (input !== document.activeElement) {
+                    setTimeout(function() {
+                        input.focus().select()
+                    }, 0);
+                }
+            }
+        });
+        </script>
+     XML] ;
+
+: help-header ( stylesheet -- xml )
+    help-stylesheet help-meta swap help-script 3append ;
+
 : help-nav ( -- xml )
     "conventions" >link topic>filename
     [XML
         <nav>
             <form method="get" action="/search" style="float: right;">
-                <input placeholder="Search" name="search" type="text" tabindex="1" />
+                <input placeholder="Search" id="search" name="search" type="text" tabindex="1" />
                 <input type="submit" value="Go" tabindex="1" />
             </form>
             <a href="https://factorcode.org">
@@ -250,7 +269,7 @@ M: pathname url-of
         [ print-topic ] with-html-writer
         css-styles-to-classes cache-images
         "resource:extra/websites/factorcode/favicon.ico" dup file-name ?copy-file
-        [ help-stylesheet help-meta prepend help-nav ] dip help-footer
+        [ help-header help-nav ] dip help-footer
         [XML <-><div class="page"><-><-></div> XML]
     ] bi simple-page ;
 
diff --git a/extra/webapps/help/search.js b/extra/webapps/help/search.js
index 674a7bcc9a..b48c5771bb 100644
--- a/extra/webapps/help/search.js
+++ b/extra/webapps/help/search.js
@@ -4,3 +4,14 @@ window.onload = function() {
         radios[0].checked = true;
     }
 }
+
+document.addEventListener('keydown', function (event) {
+    if (event.code == 'Slash') {
+        let input = document.getElementById('search');
+        if (input !== document.activeElement) {
+            setTimeout(function() {
+                input.focus().select()
+            }, 0);
+        }
+    }
+});
-- 
2.34.1