From 2cf4a2ade6db8277c4ebcc3b4bc3cf336b748d2c Mon Sep 17 00:00:00 2001
From: Simon Kollross <simon.kollross@web3it.de>
Date: Sat, 2 Dec 2017 22:25:08 +0100
Subject: [PATCH] Fix docsearch shortcut

---
 docs/source/_assets/js/app.js | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/docs/source/_assets/js/app.js b/docs/source/_assets/js/app.js
index fb0940128..d2adbcc46 100644
--- 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')
+})