From 8f6f349b71a08977393785fab3310f7430d2ab2f Mon Sep 17 00:00:00 2001
From: Raphael Forment <raphael.forment@gmail.com>
Date: Sun, 3 Sep 2023 00:20:22 +0200
Subject: [PATCH] fix behavior of example

---
 src/API.ts | 1 +
 1 file changed, 1 insertion(+)

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) => {