@@ -300,14 +300,17 @@ function initSearch() {
301 // when typing
301 // when typing
302 searchInput.addEventListener("keyup", debounce(function() {
302 searchInput.addEventListener("keyup", debounce(function() {
304 searchResultsHeader.value = "";
303 searchResultsHeader.value = "";
306 var term = searchInput.value.trim();
305 var term = searchInput.value.trim();
308+ //removed to fix: a state where there’s a valid search term, but no results
308 if (term === currentTerm || !index) {
310 if (term === currentTerm || !index) {
311 searchResults.style.display = term === "" ? "none" : "block";
314 searchResults.style.display = term === "" ? "none" : "block";
312 searchResults.style.overflowY = term === "" ? "hidden" : "scroll";
315 searchResults.style.overflowY = term === "" ? "hidden" : "scroll";
313 searchResultsItems.innerHTML = "";
316 searchResultsItems.innerHTML = "";