diff --git a/main.js b/main.js index e545e49..3c5119d 100644 --- a/main.js +++ b/main.js @@ -120,7 +120,6 @@ var commands = [ allowunsaved: true }, { - shortcut: "F1", hint: "Show help", action: showhelp }, @@ -2496,9 +2495,10 @@ function mainkeydownhandler() fileindex = Math.max(fileindex, 0); applyfileindex(); } - else if (event.ctrlKey && event.key == " " || event.key == "F2") + else if (event.ctrlKey && event.key == " " || event.key == "F1") { commandpalette(); + event.preventDefault(); } else if (event.ctrlKey && event.shiftKey && (event.keyCode == "40" || event.keyCode == "38")) {