aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorHakim El Hattab <hakim.elhattab@gmail.com>2017-11-09 11:30:38 +0100
committerGitHub <noreply@github.com>2017-11-09 11:30:38 +0100
commit376d140b2a431985c4362de92b69e27d476fec36 (patch)
tree5cf7115e80472653d79afd77fdce87e97b7897b6
parent3beda63a7d749c86085147c800444f929a7a71ea (diff)
parent1002d39e7c87b37205c4a8e76dcdbc0b57675f11 (diff)
downloadfosdem-2018-presentation-376d140b2a431985c4362de92b69e27d476fec36.tar
fosdem-2018-presentation-376d140b2a431985c4362de92b69e27d476fec36.tar.gz
Merge pull request #2030 from lechten/registersearchkey
Register search key shortcut for help overlay
-rw-r--r--plugin/search/search.js1
1 files changed, 1 insertions, 0 deletions
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 };
})();