Index: sphinx/static/searchtools.js =================================================================== --- sphinx/static/searchtools.js (revision 77594) +++ sphinx/static/searchtools.js (working copy) @@ -242,6 +242,10 @@ return this._index !== null; }, + loadIndex : function(url) { + jQuery.getScript(url); + }, + deferQuery : function(query) { this._queued_query = query; }, Index: sphinx/templates/search.html =================================================================== --- sphinx/templates/search.html (revision 77594) +++ sphinx/templates/search.html (working copy) @@ -1,7 +1,13 @@ {% extends "layout.html" %} {% set title = _('Search') %} -{% set script_files = script_files + ['_static/searchtools.js'] %} +{% set script_files = ['_static/searchtools.js'] + script_files %} {% block body %} + +

{{ _('Search') }}

@@ -41,5 +47,4 @@ {% endblock %} {% block footer %} {{ super() }} - {% endblock %}