Merge commit '6dbb2cb98a' into general-purpose-scheduler

2022-09-22 19:54:58 +02:00 · 2022-09-22 19:54:58 +02:00 · 0c1529237c
commit 0c1529237c
parent 4f8a2a0900 6dbb2cb98a
24 changed files with 14776 additions and 11598 deletions
--- a/repl/src/App.jsx
+++ b/repl/src/App.jsx
@ -219,6 +219,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"