From 78770888a58a0c29c2e87531d0acf5c3ebf072c3 Mon Sep 17 00:00:00 2001
From: Felix Roos <flix91@gmail.com>
Date: Tue, 4 Jul 2023 18:16:58 +0200
Subject: [PATCH] remove mock positions

---
 website/src/repl/Repl.jsx | 24 ------------------------
 1 file changed, 24 deletions(-)

diff --git a/website/src/repl/Repl.jsx b/website/src/repl/Repl.jsx
index fdbfa7db..9f54a51e 100644
--- a/website/src/repl/Repl.jsx
+++ b/website/src/repl/Repl.jsx
@@ -218,29 +218,6 @@ export function Repl({ embedded = false }) {
     // console.log('selectino change', selection.ranges[0].from);
   }, []);
 
-  const handleDocChanged = useCallback(
-    ({ view }) => {
-      if (!init) {
-        // this is only for testing! try this pattern:
-        /*
-stack(
-  s("bd"),
-  s("hh oh*<2 3>")
-)
-        */
-        updateMiniLocations(view, [
-          [12, 14],
-          [23, 25],
-          [26, 28],
-          [30, 31],
-          [32, 33],
-        ]);
-        init = true;
-      }
-    },
-    [view],
-  );
-
   const handleTogglePlay = async () => {
     await getAudioContext().resume(); // fixes no sound in ios webkit
     if (!started) {
@@ -335,7 +312,6 @@ stack(
             onChange={handleChangeCode}
             onViewChanged={handleViewChanged}
             onSelectionChange={handleSelectionChange}
-            onDocChange={handleDocChanged}
           />
         </section>
         {error && (