Merge pull request #2030 from lechten/registersearchkey

Register search key shortcut for help overlay

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 };
 })();