From 3f2e2554be6f1f1cc39832bc86b0f45c8d08131d Mon Sep 17 00:00:00 2001
From: Felix Roos <flix91@gmail.com>
Date: Thu, 2 Nov 2023 11:29:36 +0100
Subject: [PATCH] add back missing shortcuts

---
 packages/react/src/components/CodeMirror6.jsx | 11 +++++++++++
 1 file changed, 11 insertions(+)

diff --git a/packages/react/src/components/CodeMirror6.jsx b/packages/react/src/components/CodeMirror6.jsx
index e863b1ba3..a55eb45af 100644
--- a/packages/react/src/components/CodeMirror6.jsx
+++ b/packages/react/src/components/CodeMirror6.jsx
@@ -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?.()),