From 91a71a85503b1e0248ac642d7e785a81d4910c7c Mon Sep 17 00:00:00 2001
From: Luke Boswell <lukewilliamboswell@gmail.com>
Date: Sun, 9 Oct 2022 16:12:21 +1100
Subject: [PATCH] added event listener to focus search box in docs

---
 crates/docs/src/static/search.js | 8 ++++++++
 1 file changed, 8 insertions(+)

diff --git a/crates/docs/src/static/search.js b/crates/docs/src/static/search.js
index f19eb4f168..773107ef7c 100644
--- a/crates/docs/src/static/search.js
+++ b/crates/docs/src/static/search.js
@@ -44,4 +44,12 @@
   searchBox.addEventListener("input", search);
 
   search();
+
+  window.addEventListener("keydown", (e) => {
+    if (e.code === 'F3' || ((e.ctrlKey || e.metaKey) && e.code === 'KeyF')) { 
+      e.preventDefault();
+      searchBox.focus();
+    }
+  });
+  
 })();