From 9c13f6bb53df9ad4d7b0bc0d1369d7edb4d779e0 Mon Sep 17 00:00:00 2001
From: Felix Roos <flix91@gmail.com>
Date: Fri, 15 Dec 2023 23:20:21 +0100
Subject: [PATCH] fix: mini repl play toggle button

---
 packages/codemirror/codemirror.mjs | 2 +-
 website/src/docs/MicroRepl.jsx     | 3 ++-
 2 files changed, 3 insertions(+), 2 deletions(-)

diff --git a/packages/codemirror/codemirror.mjs b/packages/codemirror/codemirror.mjs
index d7d67607..4b64692c 100644
--- a/packages/codemirror/codemirror.mjs
+++ b/packages/codemirror/codemirror.mjs
@@ -182,7 +182,7 @@ export class StrudelMirror {
   }
   async toggle() {
     if (this.repl.scheduler.started) {
-      this.repl.scheduler.stop();
+      this.repl.stop();
     } else {
       this.evaluate();
     }
diff --git a/website/src/docs/MicroRepl.jsx b/website/src/docs/MicroRepl.jsx
index b3e2637e..534db708 100644
--- a/website/src/docs/MicroRepl.jsx
+++ b/website/src/docs/MicroRepl.jsx
@@ -1,5 +1,6 @@
 import { useState, useRef, useCallback, useEffect } from 'react';
 import { Icon } from './Icon';
+// import { useInView } from 'react-hook-inview';
 
 export function MicroRepl({ code, hideHeader = false }) {
   /* const [ref, isVisible] = useInView({
@@ -10,7 +11,7 @@ export function MicroRepl({ code, hideHeader = false }) {
   const wc = useRef();
   function togglePlay() {
     if (wc.current) {
-      wc.current?.editor.evaluate();
+      wc.current?.editor.toggle();
     }
   }
   const listener = useCallback((e) => setReplState({ ...e.detail }), []);