Fix docsearch shortcut

2017-12-02 22:25:08 +01:00 · 2017-12-02 22:25:08 +01:00 · 2cf4a2ade6
commit 2cf4a2ade6
parent 0eb520927a
1 changed files with 2 additions and 1 deletions
--- a/docs/source/_assets/js/app.js
+++ b/docs/source/_assets/js/app.js
@ -17,5 +17,6 @@ anchors.add()

 // Add shortcut to search input when pressing the "/" key
 Mousetrap.bind('/', function (e) {
+  e.preventDefault()
  document.getElementById('docsearch').focus()
-}, 'keyup')
+})