From 0c726d835df70fcbaf71ffca07a3c0cf816050a3 Mon Sep 17 00:00:00 2001
From: Felix Roos <roos@entrecode.de>
Date: Sat, 2 Apr 2022 22:40:35 +0200
Subject: [PATCH] fix keybindings on safari

---
 repl/src/App.js | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/repl/src/App.js b/repl/src/App.js
index e3fe8f70..0a928ce0 100644
--- a/repl/src/App.js
+++ b/repl/src/App.js
@@ -77,8 +77,10 @@ function App() {
       if (e.ctrlKey || e.altKey) {
         if (e.code === 'Enter') {
           await activateCode();
+          e.preventDefault();
         } else if (e.code === 'Period') {
           cycle.stop();
+          e.preventDefault();
         }
       }
     };