diff options
| author | Hakim El Hattab | 2019-03-21 09:03:27 +0100 |
|---|---|---|
| committer | GitHub | 2019-03-21 09:03:27 +0100 |
| commit | b5fe0f812625ce1628ee24e69fff0eedca8e93fd (patch) | |
| tree | f172935cf512c7f20182a9e6c0c9e9562e8c4190 /plugin/search/search.js | |
| parent | b4c6c920337aee02e563828c40a546b82a2dc47b (diff) | |
| parent | 01874c6e70f11b63c66bdace29411812932b88f9 (diff) | |
Merge branch 'dev' into hash-problem
Diffstat (limited to 'plugin/search/search.js')
| -rw-r--r-- | plugin/search/search.js | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/plugin/search/search.js b/plugin/search/search.js index 6d694d2..21c0367 100644 --- a/plugin/search/search.js +++ b/plugin/search/search.js @@ -200,7 +200,7 @@ function Hilitor(id, tag) toggleSearch(); } }, false ); - if( window.Reveal ) Reveal.registerKeyboardShortcut( 'Ctrl-Shift-F', 'Search' ); + if( window.Reveal ) Reveal.registerKeyboardShortcut( 'CTRL + Shift + F', 'Search' ); closeSearch(); return { open: openSearch }; })(); |