From ac053d6c1fb2dd61c0322c5d41d928ea0d1e8926 Mon Sep 17 00:00:00 2001
From: "Eevee (Evelyn Woods)" <eevee.git@veekun.com>
Date: Wed, 9 Sep 2020 18:47:18 -0600
Subject: [PATCH] Restart the level when switching back from the editor

---
 js/main.js | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/js/main.js b/js/main.js
index 26863ce..616d308 100644
--- a/js/main.js
+++ b/js/main.js
@@ -1920,7 +1920,9 @@ class Conductor {
             this.switch_to_editor();
         });
         document.querySelector('#editor-play').addEventListener('click', ev => {
-            // FIXME also restart!  but also the player shouldn't start before switching to it anyway
+            // Restart the level to ensure it takes edits into account
+            // TODO need to finish thinking out the exact flow between editor/player and what happens when...
+            this.player.restart_level();
             this.switch_to_player();
         });