2024-06-05 23:20:33 +00:00
|
|
|
// This sets the data-has-js attribute on the html tag to true, so we can style the page with the assumption that
|
2023-12-02 16:23:45 +00:00
|
|
|
// the browser supports JS. This is a progressive enhancement, so the page will still work without JS.
|
2024-06-05 23:20:33 +00:00
|
|
|
document.documentElement.setAttribute('data-has-js', 'true');
|
2023-12-02 16:23:45 +00:00
|
|
|
|
|
|
|
// To prevent the filter menu from being opened when the user hits enter on the search box, we need to add a keydown
|
|
|
|
// handler to the search box that stops the event from propagating. Janky hack, but it works.
|
|
|
|
document.getElementById('query').addEventListener('keydown', e=> {
|
|
|
|
if (e.key === "Enter") {
|
|
|
|
const form = document.getElementById('search-form');
|
|
|
|
form.submit();
|
|
|
|
e.preventDefault();
|
|
|
|
}
|
|
|
|
});
|