better keymap

2026-09-05 06:57:35 -04:00 · 2023-11-02 23:15:41 +01:00
parent 33eef619e4
commit cc97f6395d
1 changed files with 21 additions and 2 deletions
@@ -27,12 +27,31 @@ export function initEditor({ initialCode = '', onChange, onEvaluate, onStop, the
      keymap.of([
        {
          key: 'Ctrl-Enter',
-          run: () => onEvaluate(),
+          run: () => onEvaluate?.(),
+        },
+        {
+          key: 'Alt-Enter',
+          run: () => onEvaluate?.(),
        },
        {
          key: 'Ctrl-.',
-          run: () => onStop(),
+          run: () => onStop?.(),
        },
+        {
+          key: 'Alt-.',
+          run: (_, e) => {
+            e.preventDefault();
+            onStop?.();
+          },
+        },
+        /* {
+          key: 'Ctrl-Shift-.',
+          run: () => (onPanic ? onPanic() : onStop?.()),
+        },
+        {
+          key: 'Ctrl-Shift-Enter',
+          run: () => (onReEvaluate ? onReEvaluate() : onEvaluate?.()),
+        }, */
      ]),
    ],
  });