From f829ccfadb91006a690a315c8175ff460f527e46 Mon Sep 17 00:00:00 2001
From: aqquq <jannik.wurche@student.uni-halle.de>
Date: Fri, 5 Jul 2024 18:20:28 +0200
Subject: [PATCH] =?UTF-8?q?=E2=99=BB=EF=B8=8F=20update=20checker.js=20->?=
 =?UTF-8?q?=20editor.js?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

---
 .gitignore      | 1 +
 src/editor.html | 4 ++--
 2 files changed, 3 insertions(+), 2 deletions(-)

diff --git a/.gitignore b/.gitignore
index 2bf3791..8493477 100644
--- a/.gitignore
+++ b/.gitignore
@@ -6,6 +6,7 @@ Test/
 build/
 dist/
 elm.js
+editor.js
 test.js
 
 # Node modules (if using npm/yarn for other dependencies)
diff --git a/src/editor.html b/src/editor.html
index 3f2fb9f..146a20f 100644
--- a/src/editor.html
+++ b/src/editor.html
@@ -13,7 +13,7 @@
                 reader.onload = function(e) {
                     const jsonString = e.target.result;
                     const json = JSON.parse(jsonString);
-                    const app = Elm.Main.init({
+                    const app = Elm.Editor.init({
                         node: document.getElementById('elm-container'),
                         flags: json
                     });
@@ -26,6 +26,6 @@
 <body>
     <input type="file" id="fileInput" />
     <div id="elm-container"></div>
-    <!--script src="elm.js"></script-->
+    <script src="editor.js"></script>
 </body>
 </html>
\ No newline at end of file
-- 
GitLab