language-servers/roc
1
0
Fork 0
mirror of https://github.com/roc-lang/roc.git synced 2025-07-23 22:45:14 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 6

added event listener to focus search box in docs

Browse source
This commit is contained in:
Luke Boswell 2022-10-09 16:12:21 +11:00
parent e3ac994c24
commit 91a71a8550
No known key found for this signature in database
GPG key ID: 0E908525B2C7BD68
1 changed files with 8 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

8
crates/docs/src/static/search.js
View file

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