add back missing shortcuts

2026-09-05 14:58:03 -04:00 · 2023-11-02 11:29:36 +01:00
parent 9ebb7edde9
commit 3f2e2554be
1 changed files with 11 additions and 0 deletions
@@ -104,10 +104,21 @@ export default function CodeMirror({
          key: 'Ctrl-Enter',
          run: () => onEvaluate?.(),
        },
+        {
+          key: 'Alt-Enter',
+          run: () => onEvaluate?.(),
+        },
        {
          key: 'Ctrl-.',
          run: () => onStop?.(),
        },
+        {
+          key: 'Alt-.',
+          run: (_, e) => {
+            e.preventDefault();
+            onStop?.();
+          },
+        },
        {
          key: 'Ctrl-Shift-.',
          run: () => (onPanic ? onPanic() : onStop?.()),