@@ -15,8 +15,11 @@ function initHotKeys() {
1515 document.body.classList.remove('has-active-search-window');
1616 }
1717
18− // / to open toggle window
19− if (key === '/' || key === 'Period' || key === 58) {
18+ // Ctrl or Meta + / to open toggle window
19+ if (
20+ (event.getModifierState("Control") || event.getModifierState("Meta")) &&
21+ (key === '/' || key === 'Period' || key === 58)
22+ ) {
2023 if (bodyEl.classList.contains('has-active-search-window')) {
2124 // if it's already open don't do anything!
2225 } else {
@@ -232,6 +235,7 @@ function initSearch() {
232235 var searchWindow = document.getElementById('search-window');
233236 var searchActive = bodyEl.classList.contains('has-active-search-window');
234237
238+
235239 if (toggleSearchWindow !== null) {
236240 toggleSearchWindow.onclick = function () {
237241 inputReset.style.display = "none";
@@ -325,7 +329,6 @@ function initSearch() {
325329if (document.readyState === "complete" ||
326330 (document.readyState !== "loading" && !document.documentElement.doScroll)
327331) {
328− initToggleSearchWindow();
329332} else {
330333 document.addEventListener("DOMContentLoaded", function () {
331334 initSearch();