Merge branch 'main' into vanillarepl

2026-08-14 09:25:16 -04:00 · 2025-12-28 12:58:45 +01:00
parent 3b1c75d3de 5a51b4ec71
commit e4e2d60b28
52 changed files with 3693 additions and 502 deletions
@@ -293,9 +293,9 @@ export class StrudelMirror {
      console.warn('first frame could not be painted');
    }
  }
-  async evaluate() {
+  async evaluate(autostart = true) {
    this.flash();
-    await this.repl.evaluate(this.code);
+    await this.repl.evaluate(this.code, autostart);
  }
  async stop() {
    this.repl.scheduler.stop();