can now toggle worker timers

index.html

@@ -227,6 +227,12 @@ <h3>Panel settings</h3>
                   Enable strudel highlights
                 </label>
               </p>
+              <p>
+                <label>
+                  <input type="checkbox" id="settings-strudel-worker-timers-enabled" />
+                  Enable strudel worker timers
+                </label>
+              </p>
             </section>
             <hr />
             <section>

src/settings.js

@@ -55,6 +55,7 @@ const defaultSettings = {
   pastingMode: false,
   fontFamily: 'monospace',
   strudelHighlightsEnabled: true,
+  workerTimers: false,
 };
 
 const usernameInput = document.querySelector('#settings-username');
@@ -66,6 +67,7 @@ const zenModeCheckbox = document.querySelector('#settings-zen-mode');
 const panelModeSelect = document.querySelector('#settings-panel-mode');
 const vimModeCheckbox = document.querySelector('#settings-vim-mode');
 const lineWrappingCheckbox = document.querySelector('#settings-line-wrapping');
+const workerTimersCheckbox = document.querySelector('#settings-strudel-worker-timers-enabled');
 const lineNumbersCheckbox = document.querySelector('#settings-line-numbers');
 const strudelAutocompleteCheckbox = document.querySelector('#settings-strudel-autocomplete');
 const closeBracketsCheckbox = document.querySelector('#settings-close-brackets');
@@ -86,6 +88,7 @@ function inferSettingsFromDom() {
     panelMode: panelModeSelect?.value ?? defaultSettings.panelMode,
     vimMode: vimModeCheckbox?.checked ?? defaultSettings.vimMode,
     lineWrapping: lineWrappingCheckbox?.checked ?? defaultSettings.lineWrapping,
+    workerTimers: workerTimersCheckbox?.checked ?? defaultSettings.workerTimers,
     lineNumbers: lineNumbersCheckbox?.checked ?? defaultSettings.lineNumbers,
     strudelAutocomplete: strudelAutocompleteCheckbox?.checked ?? defaultSettings.strudelAutocomplete,
     closeBrackets: closeBracketsCheckbox?.checked ?? defaultSettings.closeBrackets,
@@ -108,6 +111,7 @@ function inferSettingsFromDom() {
   vimModeCheckbox,
   welcomeMessageCheckbox,
   lineWrappingCheckbox,
+  workerTimersCheckbox,
   lineNumbersCheckbox,
   strudelAutocompleteCheckbox,
   closeBracketsCheckbox,
@@ -168,6 +172,7 @@ export async function applySettingsToNudel(settings = getSettings()) {
   panelModeSelect.value = next.boxedMode;
   vimModeCheckbox.checked = next.vimMode;
   lineWrappingCheckbox.checked = next.lineWrapping;
+  workerTimersCheckbox.checked = next.workerTimers;
   lineNumbersCheckbox.checked = next.lineNumbers;
   strudelAutocompleteCheckbox.checked = next.strudelAutocomplete;
   closeBracketsCheckbox.checked = next.closeBrackets;

src/strudel.js

@@ -44,7 +44,12 @@ export class StrudelSession {
   }
 
   async init() {
-    // why do we need to await this stuff here?
+    this.settings = window.parent.getSettings?.() || {};
+    if (!this.settings) {
+      console.warn(`Couldn't get nudel settings within strudel`);
+    }
+
+    // why do we need to await this stuff here? i have no clue
     this.core = await import('@strudel/core');
     this.mini = await import('@strudel/mini');
     this.webaudio = await import('@strudel/webaudio');
@@ -68,8 +73,8 @@ export class StrudelSession {
     this.scheduler = new Cyclist({
       onTrigger: getTrigger({ defaultOutput: webaudioOutput, getTime }),
       getTime,
-      setInterval,
-      clearInterval,
+      setInterval: this.settings.workerTimers ? setInterval : globalThis.setInterval,
+      clearInterval: this.settings.workerTimers ? clearInterval : globalThis.clearInterval,
     });
     setTime(() => this.scheduler.now()); // this is cursed
 
@@ -114,12 +119,7 @@ export class StrudelSession {
       },
     );
 
-    const settings = window.parent.getSettings?.();
-    if (!settings) {
-      throw new Error(`Couldn't get nudel settings within strudel`);
-    }
-
-    if (settings.strudelHighlightsEnabled) {
+    if (this.settings?.strudelHighlightsEnabled) {
       this.framer.start();
     }
   }