From b16abe11f0e11abb568976efe8b54709a746a4ed Mon Sep 17 00:00:00 2001
From: JensLincke <jens.lincke@hpi.uni-potsdam.de>
Date: Tue, 23 Apr 2024 16:48:33 +0200
Subject: [PATCH] astro view WIP

SQUASHED: AUTO-COMMIT-src-components-tools-astro-view.html,AUTO-COMMIT-src-components-tools-astro-view.js,SQUASHED-AUTO-COMMIT-README.md,
---
 src/components/tools/astro-view.js | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/src/components/tools/astro-view.js b/src/components/tools/astro-view.js
index 77f2e3e70..e30376009 100644
--- a/src/components/tools/astro-view.js
+++ b/src/components/tools/astro-view.js
@@ -134,10 +134,14 @@ export default class AstroView extends Morph {
     this.get("#editorInfo").textContent = `${cm.indexFromPos(from)}-${cm.indexFromPos(to)}`
   }
   
-  updateTokens() {    
+  async updateTokens() {    
     this.get("#tokens").innerHTML = ""
     let counter = 1
     let pos = 0
+    
+    // #TODO
+    // this.tokens = await fetch("lukas.server/asfasdfasdf")
+    
     this.tokens = this.source.split(/(?=[^a-zA-Z])/g)
       .map(ea => { 
         let start = pos