diff options
| -rw-r--r-- | plugin/search/search.js | 1 |
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 }; })(); |