From 570e2fc2782e4d550eddd0f6df356327c40341f2 Mon Sep 17 00:00:00 2001
From: Vincent Prouillet <balthek@gmail.com>
Date: Fri, 10 Jun 2022 21:14:16 +0200
Subject: [PATCH] Set current_term earlier in search JS

Closes #1856
---
 docs/static/search.js | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/docs/static/search.js b/docs/static/search.js
index 68c63007ae..408156555d 100644
--- a/docs/static/search.js
+++ b/docs/static/search.js
@@ -151,6 +151,7 @@ function initSearch() {
     }
     $searchResults.style.display = term === "" ? "none" : "block";
     $searchResultsItems.innerHTML = "";
+    currentTerm = term;
     if (term === "") {
       return;
     }
@@ -161,7 +162,6 @@ function initSearch() {
       return;
     }
 
-    currentTerm = term;
     for (var i = 0; i < Math.min(results.length, MAX_ITEMS); i++) {
       var item = document.createElement("li");
       item.innerHTML = formatSearchResultItem(results[i], term.split(" "));