From c05bbf34220b3ae2c1417237a72933d86259cf59 Mon Sep 17 00:00:00 2001
From: Felix Roos <flix91@gmail.com>
Date: Mon, 3 Jun 2024 23:53:08 +0200
Subject: [PATCH] don't clear hydra in minirepl for now

---
 website/src/docs/MiniRepl.jsx | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/website/src/docs/MiniRepl.jsx b/website/src/docs/MiniRepl.jsx
index 56548471..0884786e 100644
--- a/website/src/docs/MiniRepl.jsx
+++ b/website/src/docs/MiniRepl.jsx
@@ -81,7 +81,7 @@ export function MiniRepl({
       },
       onToggle: (playing) => {
         if (!playing) {
-          clearHydra();
+          // clearHydra(); // TBD: doesn't work with multiple MiniRepl's on a page
         }
       },
       beforeStart: () => audioReady,