Update sphinx/themes/basic/static/searchtools.js

Co-authored-by: Adam Turner <9087854+AA-Turner@users.noreply.github.com>
sphinx-doc · Feb 7, 2022 · a45e4d4 · a45e4d4
1 parent 6605bfb
commit a45e4d4
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/sphinx/themes/basic/static/searchtools.js b/sphinx/themes/basic/static/searchtools.js
@@ -209,7 +209,7 @@ const Search = {
     Search.output = out.appendChild(searchList);
 
     const searchProgress = document.getElementById("search-progress");
-    // Not all themes may have this element.
+    // Some themes don't use the search progress node
     if (searchProgress) {
       searchProgress.innerText = _("Preparing search...");
     }