summaryrefslogtreecommitdiff
path: root/sphinx/themes/basic/static/doctools.js
diff options
context:
space:
mode:
authorRobert Lehmann <mail@robertlehmann.de>2011-10-02 17:03:56 +0200
committerRobert Lehmann <mail@robertlehmann.de>2011-10-02 17:03:56 +0200
commitc6d9f568957ac24ca05e1215d289a896bdacdf71 (patch)
treef0ccb06b23ba9d559931133bde32809fd290da05 /sphinx/themes/basic/static/doctools.js
parent478ffe5632ebd6a1b2b3a6fcdae214859288b5dd (diff)
downloadsphinx-git-c6d9f568957ac24ca05e1215d289a896bdacdf71.tar.gz
Move 'Hide Search Matches' to search box.
This is (a) semantically cleaner and (b) shows that feature even when source links are disabled.
Diffstat (limited to 'sphinx/themes/basic/static/doctools.js')
-rw-r--r--sphinx/themes/basic/static/doctools.js8
1 files changed, 4 insertions, 4 deletions
diff --git a/sphinx/themes/basic/static/doctools.js b/sphinx/themes/basic/static/doctools.js
index 81869f10b..bd1b44efb 100644
--- a/sphinx/themes/basic/static/doctools.js
+++ b/sphinx/themes/basic/static/doctools.js
@@ -185,9 +185,9 @@ var Documentation = {
body.highlightText(this.toLowerCase(), 'highlighted');
});
}, 10);
- $('<li class="highlight-link"><a href="javascript:Documentation.' +
- 'hideSearchWords()">' + _('Hide Search Matches') + '</a></li>')
- .appendTo($('.sphinxsidebar .this-page-menu'));
+ $('<p class="highlight-link"><a href="javascript:Documentation.' +
+ 'hideSearchWords()">' + _('Hide Search Matches') + '</a></p>')
+ .appendTo($('#searchbox'));
}
},
@@ -213,7 +213,7 @@ var Documentation = {
* helper function to hide the search marks again
*/
hideSearchWords : function() {
- $('.sphinxsidebar .this-page-menu li.highlight-link').fadeOut(300);
+ $('#searchbox .highlight-link').fadeOut(300);
$('span.highlighted').removeClass('highlighted');
},