From 1002d39e7c87b37205c4a8e76dcdbc0b57675f11 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Jens=20Lechtenb=C3=B6rger?= <lechten@wi.uni-muenster.de>
Date: Sun, 5 Nov 2017 17:45:18 +0100
Subject: [PATCH] Register search key shortcut for help overlay

---
 plugin/search/search.js | 1 +
 1 file changed, 1 insertion(+)

diff --git a/plugin/search/search.js b/plugin/search/search.js
index b0be2be..f7e5c2f 100644
--- a/plugin/search/search.js
+++ b/plugin/search/search.js
@@ -200,6 +200,7 @@ function Hilitor(id, tag)
 			toggleSearch();
 		}
 	}, false );
+	if( window.Reveal ) Reveal.registerKeyboardShortcut( 'Ctrl-Shift-F', 'Search' );
 	closeSearch();
 	return { open: openSearch };
 })();