Merge pull request #4267 from lukewilliamboswell/main

roc docs add feature to focus search box using ⌘F, CTRL F, or F3

crates/docs/src/static/search.js

@@ -44,4 +44,21 @@
   searchBox.addEventListener("input", search);
 
   search();
+
+  // Capture '/' keypress for quick search 
+  window.addEventListener("keyup", (e) => {
+
+    if (e.code === "Slash") {
+      e.preventDefault;
+      searchBox.focus();
+      searchBox.value = "";
+    }
+
+    if (e.code === "Escape" && document.activeElement === searchBox) {
+      e.preventDefault;
+      searchBox.blur();
+    }
+
+  });
+
 })();