IntenseWebs/sphinx
3
0
Fork 0
mirror of https://github.com/sphinx-doc/sphinx.git synced 2025-02-25 18:55:22 -06:00
Code Issues Packages Projects Releases Wiki Activity

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

Browse Source 
Co-authored-by: Adam Turner <9087854+AA-Turner@users.noreply.github.com>
This commit is contained in:
Santos Gallegos 2022-02-07 10:31:50 -05:00 committed by GitHub
parent 6605bfbf7c
commit a45e4d4482
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
sphinx/themes/basic/static/searchtools.js
View File

@ -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...");
}