language-servers/roc
1
0
Fork 0
mirror of https://github.com/roc-lang/roc.git synced 2025-10-03 16:44:33 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 6

Hide the results whenever anyone clicks outside

Browse source
This commit is contained in:
Richard Feldman 2024-11-29 13:51:51 -05:00
parent 956d07f179
commit 52b261cf79
No known key found for this signature in database
GPG key ID: DAC334802F365236
1 changed files with 7 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

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

@ -27,6 +27,13 @@
let searchForm = document.getElementById("module-search-form"); let searchForm = document.getElementById("module-search-form");
let topSearchResultListItem = undefined; let topSearchResultListItem = undefined;
// Hide the results whenever anyone clicks outside the search results.
window.addEventListener("click", function(event) {
if (!searchForm?.contains(event.target)) {
searchTypeAhead.classList.add("hidden");
}
});
if (searchBox != null) { if (searchBox != null) {
function searchKeyDown(event) { function searchKeyDown(event) {
switch (event.key) { switch (event.key) {