hotfix: alt+dot breakage

2024-10-20 21:04:18 +02:00 · 2024-10-20 21:04:18 +02:00 · d9bd6f9e7d
commit d9bd6f9e7d
parent 1e0cc2ab17
1 changed files with 2 additions and 4 deletions
--- a/packages/codemirror/codemirror.mjs
+++ b/packages/codemirror/codemirror.mjs
@ -99,10 +99,8 @@ export function initEditor({ initialCode = '', onChange, onEvaluate, onStop, roo
          },
          {
            key: 'Alt-.',
-            run: (_, e) => {
-              e.preventDefault();
-              onStop?.();
-            },
+            preventDefault: true,
+            run: () => onStop?.(),
          },
          /* {
          key: 'Ctrl-Shift-.',