From 0134a50ffafe50164d8dccf77ca4e5f4cfef13a5 Mon Sep 17 00:00:00 2001
From: Felix Roos <flix91@gmail.com>
Date: Mon, 19 Sep 2022 22:09:23 +0200
Subject: [PATCH] add update button

---
 repl/src/App.jsx | 13 +++++++++++++
 1 file changed, 13 insertions(+)

diff --git a/repl/src/App.jsx b/repl/src/App.jsx
index fd464d2b..ae55fc78 100644
--- a/repl/src/App.jsx
+++ b/repl/src/App.jsx
@@ -214,6 +214,19 @@ function App() {
                 <>loading...</>
               )}
             </button>
+            <button
+              onClick={() => {
+                dirty && activateCode();
+                pushLog('Code updated! Tip: You can also update the code by pressing ctrl+enter.');
+              }}
+              className={cx(
+                'hover:bg-gray-300',
+                !isEmbedded ? 'p-2' : 'px-2',
+                !dirty || !activeCode ? 'opacity-50' : '',
+              )}
+            >
+              🔄 update
+            </button>
             {!isEmbedded && (
               <button
                 className="hover:bg-gray-300 p-2"