added: alternative shortcuts for command palette

2023-02-05 10:46:29 +01:00 · 2023-02-05 10:46:29 +01:00 · 175ea44ede
parent 2136faf1ae
commit 175ea44ede
1 changed files with 4 additions and 0 deletions
--- a/main.js
+++ b/main.js
@ -2057,6 +2057,10 @@ function mainkeydownhandler()
 		fileindex = Math.max(fileindex, 0);
 		applyfileindex();
 	}
+	else if (event.ctrlKey && event.key == " " || event.key == "F2")
+	{
+		commandpalette();
+	}
 	else
 	{
 		commands.filter(c => c.shortcut)