Merge pull request #1004 from tidalcycles/worker-repl

eliminate chromium clock jitter

website/src/repl/Repl.jsx

@@ -37,6 +37,7 @@ import { prebake } from './prebake.mjs';
 import { getRandomTune, initCode, loadModules, shareCode, ReplContext } from './util.mjs';
 import PlayCircleIcon from '@heroicons/react/20/solid/PlayCircleIcon';
 import './Repl.css';
+import { setInterval, clearInterval } from 'worker-timers';
 
 const { latestCode } = settingsMap.get();
 
@@ -75,6 +76,8 @@ export function Repl({ embedded = false }) {
       sync: false,
       defaultOutput: webaudioOutput,
       getTime: () => getAudioContext().currentTime,
+      setInterval,
+      clearInterval,
       transpiler,
       autodraw: false,
       root: containerRef.current,