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

Fix search unnecessarily requiring source files

Browse Source 
This seems to have been a mistake with #4022 the ajax call functions correctly without the source files being included in the build (they are never used).

I have tested this out on several themes and now everything works correctly with `html_copy_source = False`
This commit is contained in:
Aaron Carlisle
2021-04-22 17:53:21 -04:00
committed by Takeshi KOMIYA
parent a74b43588e
commit 634b05f3a5
1 changed files with 1 additions and 7 deletions
Download Patch File Download Diff File Expand all files Collapse all files

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

@@ -276,7 +276,7 @@ var Search = {
setTimeout(function() { setTimeout(function() {
displayNextItem(); displayNextItem();
}, 5); }, 5);
} else if (DOCUMENTATION_OPTIONS.HAS_SOURCE) { } else {
$.ajax({url: requestUrl, $.ajax({url: requestUrl,
dataType: "text", dataType: "text",
complete: function(jqxhr, textstatus) { complete: function(jqxhr, textstatus) {
@@ -289,12 +289,6 @@ var Search = {
displayNextItem(); displayNextItem();
}, 5); }, 5);
}}); }});
} else {
// no source available, just display title
Search.output.append(listItem);
setTimeout(function() {
displayNextItem();
}, 5);
} }
} }
// search finished, update title and status message // search finished, update title and status message