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

Merge pull request #10153 from stsewd/check-if-search-progress-exists

Browse Source 
Searchtools: don't assume that all themes define some elements
This commit is contained in:
Takeshi KOMIYA 2022-04-05 02:33:04 +09:00 committed by GitHub
commit b4276edd84
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 6 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -48,7 +48,7 @@ if (typeof Scorer === "undefined") {
} }
const _removeChildren = (element) => { const _removeChildren = (element) => {
while (element.lastChild) element.removeChild(element.lastChild); while (element && element.lastChild) element.removeChild(element.lastChild);
}; };
/** /**
@ -223,9 +223,11 @@ const Search = {
Search.status = out.appendChild(searchSummary); Search.status = out.appendChild(searchSummary);
Search.output = out.appendChild(searchList); Search.output = out.appendChild(searchList);
document.getElementById("search-progress").innerText = _( const searchProgress = document.getElementById("search-progress");
"Preparing search..." // Some themes don't use the search progress node
); if (searchProgress) {
searchProgress.innerText = _("Preparing search...");
}
Search.startPulse(); Search.startPulse();
// index already loaded, the browser was quick! // index already loaded, the browser was quick!