Fixed problem with the client side search engine (HTML output)

doxygen · doxygen · commit fecdc68ecaf1 · 2023-02-05T12:03:21.000+01:00
When switching to a different filter that did not have any associated search
results, the search result window was not updated.
diff --git a/templates/html/search.js b/templates/html/search.js
@@ -356,7 +356,11 @@ function SearchBox(name, resultsPath, extension)
         document.getElementById("NoMatches").style.display="none";
       }
  
-      searchResults.Search(searchValue);
+      if (idx!=-1) {
+        searchResults.Search(searchValue);
+      } else { // no file with search results => force empty search results
+        searchResults.Search('====');
+      }
 
       if (domPopupSearchResultsWindow.style.display!='block')
       {

Original file line number	Diff line number	Diff line change
`@@ -356,7 +356,11 @@ function SearchBox(name, resultsPath, extension)`
`356`	`356`	`document.getElementById("NoMatches").style.display="none";`
`357`	`357`	`}`
`358`	`358`
`359`		`- searchResults.Search(searchValue);`
	`359`	`+ if (idx!=-1) {`
	`360`	`+ searchResults.Search(searchValue);`
	`361`	`+ } else { // no file with search results => force empty search results`
	`362`	`+ searchResults.Search('====');`
	`363`	`+ }`
`360`	`364`
`361`	`365`	`if (domPopupSearchResultsWindow.style.display!='block')`
`362`	`366`	`{`