From d9bd6f9e7df3af439ea8527400c7afa0cf8b7ee8 Mon Sep 17 00:00:00 2001
From: Felix Roos <flix91@gmail.com>
Date: Sun, 20 Oct 2024 21:04:18 +0200
Subject: [PATCH] hotfix: alt+dot breakage

---
 packages/codemirror/codemirror.mjs | 6 ++----
 1 file changed, 2 insertions(+), 4 deletions(-)

diff --git a/packages/codemirror/codemirror.mjs b/packages/codemirror/codemirror.mjs
index 6bb0af0a..4fe51ec9 100644
--- 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-.',