fix: mini repl play toggle button

This commit is contained in:
Felix Roos 2023-12-15 23:20:21 +01:00
parent b5edcde638
commit 9c13f6bb53
2 changed files with 3 additions and 2 deletions

View file

@ -182,7 +182,7 @@ export class StrudelMirror {
}
async toggle() {
if (this.repl.scheduler.started) {
this.repl.scheduler.stop();
this.repl.stop();
} else {
this.evaluate();
}