use new getTime callback in repl + mini repl

2026-08-03 14:01:56 -04:00 · 2022-08-23 21:23:28 +02:00
parent 7b0c80c8be
commit ec4cfe6f86
2 changed files with 13 additions and 2 deletions
@@ -144,7 +144,12 @@ function App() {
    return () => window.removeEventListener('keydown', handleKeyPress, true);
  }, [pattern, code, activateCode, cycle, view]);

-  useHighlighting({ view, pattern, active: cycle.started && !activeCode?.includes('strudel disable-highlighting') });
+  useHighlighting({
+    view,
+    pattern,
+    active: cycle.started && !activeCode?.includes('strudel disable-highlighting'),
+    getTime: () => Tone.getTransport().seconds,
+  });

  useWebMidi({
    ready: useCallback(