From 1ab8bfbe15bdc630aad637f77fac7155256f3b0c Mon Sep 17 00:00:00 2001 From: Jonathan Reinink Date: Wed, 8 Nov 2017 09:48:27 -0500 Subject: [PATCH] Add comment to search input shortcut code --- 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 479579949..18383d100 100644 --- a/docs/source/_assets/js/app.js +++ b/docs/source/_assets/js/app.js @@ -14,8 +14,9 @@ Prism.highlightAll() anchors.options = { placement: 'left', class: 'text-slate-light' }; anchors.add(); +// Add shortcut to search input when pressing the "/" key document.onkeyup = function (e) { if (e.which == 191) { document.getElementById('docsearch').focus(); } -}; \ No newline at end of file +};