Only save when dirty

mdenet · Dec 8, 2023 · 60aae9e · 60aae9e
1 parent bb54642
commit 60aae9e
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/platform/src/XtextEditorPanel.js b/platform/src/XtextEditorPanel.js
@@ -32,7 +32,8 @@ class XtextEditorPanel extends Panel {
     }
 
     canSave() {
-        return true;
+        // Only save if there are any actual changes to save -- this avoids empty commits.
+        return !(this.editor.session.getUndoManager().isClean());
     }
 
     /**