diff --git a/src/API.ts b/src/API.ts
index 8210691..94fae60 100644
--- 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) => {