trigger script by using ctrl+Function keys

src/main.ts

@@ -249,7 +249,13 @@ export class Editor {
         (keycode, index) => {
           if (event.keyCode === keycode) {
             event.preventDefault();
-            this.changeToLocalBuffer(index);
+            // Check if Ctrl is pressed as well
+            if (event.ctrlKey) { 
+              // We trigger a script if ctrl is pressed
+              this.api.script(keycode - 111)
+            } else {
+              this.changeToLocalBuffer(index);
+            }
           }
         }
       );