From 0a5f44d7bcb07789b2f2d34c490057fe4383ec9a Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Tim=20S=C3=BCberkr=C3=BCb?= <dev@timsueberkrueb.io>
Date: Sat, 2 Mar 2024 20:18:39 +0100
Subject: [PATCH] Adjust web editor to new route

---
 web/packages/app/assets/tutorial.html | 10 ++++++----
 web/packages/app/src/editor/app.ts    |  2 +-
 2 files changed, 7 insertions(+), 5 deletions(-)

diff --git a/web/packages/app/assets/tutorial.html b/web/packages/app/assets/tutorial.html
index 059150d..6637982 100644
--- a/web/packages/app/assets/tutorial.html
+++ b/web/packages/app/assets/tutorial.html
@@ -39,7 +39,7 @@ <h1>The Proof Expression Problem</h1>
               <summary aria-haspopup="listbox" role="button" class="secondary">Examples</summary>
               <ul role="listbox">
                 {{#each examples}}
-                  <li><a onclick="jumpToHash('{{this}}.pol')" >{{this}}</a></li>
+                <li><a onclick="jumpToHash('{{this}}.pol')">{{this}}</a></li>
                 {{/each}}
               </ul>
             </details>
@@ -59,7 +59,7 @@ <h1>The Proof Expression Problem</h1>
     <!-- Editor -->
     <section>
       <div class="editor-container">
-        <iframe class="editor-frame" id="editor-frame" src="/editor"></iframe>
+        <iframe class="editor-frame" id="editor-frame" src="/oopsla24/editor"></iframe>
       </div>
     </section>
     <!-- Tutorial -->
@@ -67,7 +67,8 @@ <h1>The Proof Expression Problem</h1>
       <h4>Tutorial</h4>
       <p>
         This is a short overview of the syntax of our language.
-        Feel free to copy and paste sections of the tutorial code into the interactive editor above to try out the examples on your own.
+        Feel free to copy and paste sections of the tutorial code into the interactive editor above to try out the
+        examples on your own.
       </p>
 
       <details>
@@ -106,4 +107,5 @@ <h4>Tutorial</h4>
     </section>
   </main>
 </body>
-</html>
+
+</html>
\ No newline at end of file
diff --git a/web/packages/app/src/editor/app.ts b/web/packages/app/src/editor/app.ts
index e41f782..0f9fe18 100644
--- a/web/packages/app/src/editor/app.ts
+++ b/web/packages/app/src/editor/app.ts
@@ -81,7 +81,7 @@ export default class App {
       if (filepath === "") {
         filepath = "tutorial.pol";
       }
-      const url = `${location.protocol}//${location.host}/examples/${filepath}`;
+      const url = `${location.protocol}//${location.host}/oopsla24/examples/${filepath}`;
       const response = await fetch(url);
       if (!response.ok) {
         model.setValue("");