@@ -15,8 +15,11 @@ function initHotKeys() {
15 document.body.classList.remove('has-active-search-window');
15 document.body.classList.remove('has-active-search-window');
18− // / to open toggle window
18+ // Ctrl or Meta + / to open toggle window
20+ (event.getModifierState("Control") || event.getModifierState("Meta")) &&
19− if (key === '/' || key === 'Period' || key === 58) {
21+ (key === '/' || key === 'Period' || key === 58)
20 if (bodyEl.classList.contains('has-active-search-window')) {
23 if (bodyEl.classList.contains('has-active-search-window')) {
21 // if it's already open don't do anything!
24 // if it's already open don't do anything!
@@ -232,6 +235,7 @@ function initSearch() {
232 var searchWindow = document.getElementById('search-window');
235 var searchWindow = document.getElementById('search-window');
233 var searchActive = bodyEl.classList.contains('has-active-search-window');
236 var searchActive = bodyEl.classList.contains('has-active-search-window');
235 if (toggleSearchWindow !== null) {
239 if (toggleSearchWindow !== null) {
236 toggleSearchWindow.onclick = function () {
240 toggleSearchWindow.onclick = function () {
237 inputReset.style.display = "none";
241 inputReset.style.display = "none";
@@ -325,7 +329,6 @@ function initSearch() {
325if (document.readyState === "complete" ||
329if (document.readyState === "complete" ||
326 (document.readyState !== "loading" && !document.documentElement.doScroll)
330 (document.readyState !== "loading" && !document.documentElement.doScroll)
328− initToggleSearchWindow();
330 document.addEventListener("DOMContentLoaded", function () {
333 document.addEventListener("DOMContentLoaded", function () {
331 initSearch();
334 initSearch();