From 19430bf7ac3571829490715b2a237adf08f345f5 Mon Sep 17 00:00:00 2001
From: Raphael Forment <raphael.forment@gmail.com>
Date: Sat, 2 Sep 2023 21:35:33 +0200
Subject: [PATCH] small fix

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

diff --git a/src/API.ts b/src/API.ts
index 8599bfe..4ebed08 100644
--- a/src/API.ts
+++ b/src/API.ts
@@ -112,6 +112,11 @@ export class UserAPI {
   };
 
   _playDocExampleOnce = (code?: string) => {
+    let current_universe = this.app.universes[this.app.selected_universe];
+    if (current_universe?.example !== undefined) {
+      current_universe.example.candidate! = "";
+      current_universe.example.committed! = "";
+    }
     this.play();
     this.app.exampleIsPlaying = true;
     evaluateOnce(this.app, code as string);