diff --git a/platform/src/XtextEditorPanel.js b/platform/src/XtextEditorPanel.js
index d824586..c71fad3 100644
--- 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());
     }
 
     /**