From 5997cba041824e3dee916c57453394811d32d2fa Mon Sep 17 00:00:00 2001 From: Matthias Geier Date: Tue, 10 Aug 2021 19:52:46 +0200 Subject: [PATCH] Proof of Concept: add "H" shortcut for hiding search matches --- sphinx/themes/basic/static/doctools.js | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/sphinx/themes/basic/static/doctools.js b/sphinx/themes/basic/static/doctools.js index 8cbf1b161a6..ab3c255ae62 100644 --- a/sphinx/themes/basic/static/doctools.js +++ b/sphinx/themes/basic/static/doctools.js @@ -235,7 +235,7 @@ var Documentation = { }); }, 10); $('') + 'hideSearchWords()" accesskey="H">' + _('Hide Search Matches') + '

') .appendTo($('#searchbox')); } },