fix behavior of example

2023-09-03 00:20:22 +02:00
parent 969a4c17c1
commit 8f6f349b71
1 changed files with 1 additions and 0 deletions
--- a/src/API.ts
+++ b/src/API.ts
@ -109,6 +109,7 @@ export class UserAPI {
      current_universe.example.candidate! = "";
      current_universe.example.committed! = "";
    }
+    this.pause();
  };

  _playDocExampleOnce = (code?: string) => {