Merge pull request #6257 from tk0miya/6244_broken_search

Fix #6244: html: Search function is broken with 3rd party themes
This commit is contained in:
Takeshi KOMIYA 2019-04-06 13:50:13 +09:00 committed by GitHub
commit 8742761160
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
2 changed files with 11 additions and 0 deletions

View File

@ -29,6 +29,7 @@ Bugs fixed
references
* #6245: circular import error on importing SerializingHTMLBuilder
* #6243: LaTeX: 'releasename' setting for latex_elements is ignored
* #6244: html: Search function is broken with 3rd party themes
Testing
--------

View File

@ -75,6 +75,16 @@ var Search = {
}
},
loadIndex : function(url) {
$.ajax({type: "GET", url: url, data: null,
dataType: "script", cache: true,
complete: function(jqxhr, textstatus) {
if (textstatus != "success") {
document.getElementById("searchindexloader").src = url;
}
}});
},
setIndex : function(index) {
var q;
this._index = index;