Update keyboard-shortcuts.js

janfaracik · Sep 6, 2022 · 1a15ba7 · 1a15ba7
1 parent 5556d5e
commit 1a15ba7
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/war/src/main/js/keyboard-shortcuts.js b/war/src/main/js/keyboard-shortcuts.js
@@ -15,7 +15,7 @@ window.addEventListener("load", () => {
 
   const pageSearchBar = document.querySelectorAll(".jenkins-search__input");
   if (pageSearchBar.length === 1) {
-    hotkeys(translateModifierKeysForUsersPlatform("CMD+/"), () => {
+    hotkeys(translateModifierKeysForUsersPlatform("CMD+/,/"), () => {
       pageSearchBar[0].focus();
 
       // Returning false stops the event and prevents default browser events