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(); + } + }); + })();