Commits

Georg Brandl  committed 0d4da40

Fix a problem in the HTML search if the index takes too long
to load.

  • Participants
  • Parent commits 4f2aaa4

Comments (0)

Files changed (2)

 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.
 

File sphinx/static/searchtools.js

     if (this.hasIndex())
       this.query(query);
     else
-      this.setQuery(query);
+      this.deferQuery(query);
   },
 
   query : function(query) {