diff --git a/src/editor.ts b/src/editor.ts index 8f158fb..1119de5 100644 --- a/src/editor.ts +++ b/src/editor.ts @@ -110,6 +110,11 @@ editor.commands.addCommands([ bindKey: { win: "Ctrl-Shift-E", mac: "Command-Shift-E" }, exec: run, }, + { + name: "runCodeCtrlShiftF5", + bindKey: { win: "Ctrl-Shift-F5", mac: "Command-Shift-F5" }, + exec: run, + }, { name: "formatCode", bindKey: { win: "Ctrl-Shift-F", mac: "Command-Shift-F" },