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 #10233 from stsewd/fix-set-index

Browse Source 
Searchtools: fix null query on setIndex
This commit is contained in:
Takeshi KOMIYA 2022-03-05 15:37:58 +09:00 committed by GitHub
commit db885ef7f6
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 2 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -167,8 +167,9 @@ const Search = {
setIndex: (index) => {
Search._index = index;
if (Search._queued_query !== null) {
const query = Search._queued_query;
Search._queued_query = null;
Search.query(Search._queued_query);
Search.query(query);
}
},