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 a problem in the HTML search if the index takes too long

Browse Source 
to load.
This commit is contained in:
Georg Brandl 2009-02-21 19:08:22 +01:00
parent 099b4ce0ea
commit 050560217c
2 changed files with 4 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
CHANGES
View File

@ -1,6 +1,9 @@
Release 0.5.2 (in development)
==============================
* Fix a problem in the HTML search if the index takes too long
to load.
* Don't output system messages while resolving, because they
would stay in the doctrees even if keep_warnings is false.

2
sphinx/static/searchtools.js
View File

@ -283,7 +283,7 @@ var Search = {
if (this.hasIndex())
this.query(query);
else
this.setQuery(query);
this.deferQuery(query);
},
query : function(query) {