From c8db7406feaf0f869bc17855325269a2ba84d538 Mon Sep 17 00:00:00 2001
From: Steffen Zschaler <szschaler@users.noreply.github.com>
Date: Fri, 8 Dec 2023 20:36:17 +0000
Subject: [PATCH] Reset to clean on setValue

---
 platform/src/Panel.js | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/platform/src/Panel.js b/platform/src/Panel.js
index 66f63ac..2aa798c 100644
--- a/platform/src/Panel.js
+++ b/platform/src/Panel.js
@@ -92,6 +92,8 @@ class Panel {
 
     setValue(value) {
         this.editor.setValue((value+""), 1);
+        // Reset undo manager
+        this.editor.session.getUndoManager().markClean();
     }
 
     getValueSha() {