Reset to clean on setValue

mdenet · Dec 8, 2023 · c8db740 · c8db740
1 parent 60aae9e
commit c8db740
Showing 1 changed file with 2 additions and 0 deletions.
diff --git 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() {