From 0ed1cbe486af13cba8ba43515e0610f40c359113 Mon Sep 17 00:00:00 2001 From: Guillaume Gomez Date: Wed, 2 Apr 2025 11:14:38 +0200 Subject: [PATCH] Fix JS error --- src/front-end/searcher/searcher.js | 7 ++++--- 1 file changed, 4 insertions(+), 3 deletions(-) diff --git a/src/front-end/searcher/searcher.js b/src/front-end/searcher/searcher.js index 4d18b138..13eb0f5a 100644 --- a/src/front-end/searcher/searcher.js +++ b/src/front-end/searcher/searcher.js @@ -3,7 +3,7 @@ /* global Mark, elasticlunr, path_to_root */ window.search = window.search || {}; -(function search(search) { +(function search() { // Search functionality // // You can use !hasFocus() to prevent keyhandling in your key @@ -288,6 +288,9 @@ window.search = window.search || {}; // If reloaded, do the search or mark again, depending on the current url parameters doSearchOrMarkFromUrl(); + + // Exported functions + config.hasFocus = hasFocus; } function unfocusSearchbar() { @@ -521,6 +524,4 @@ window.search = window.search || {}; loadScript(path_to_root + '{{ resource "searchindex.js" }}', 'search-index'); - // Exported functions - search.hasFocus = hasFocus; })(window.search);