diff --git a/src/main/java/ui/TDiagramPanel.java b/src/main/java/ui/TDiagramPanel.java index aec52d1fff78d4bc57ec1ad513c41b4bf366d515..e3bae696c2d6f08d4f91c3d3f571ea18bdd4f82c 100755 --- a/src/main/java/ui/TDiagramPanel.java +++ b/src/main/java/ui/TDiagramPanel.java @@ -1674,6 +1674,9 @@ public abstract class TDiagramPanel extends JPanel implements GenericTree { if (e.getSource() == checkAccessibility) { if (componentPopup instanceof CheckableAccessibility) { componentPopup.setCheckableAccessibility(!componentPopup.getCheckableAccessibility()); + + // Issue #35: Enable the save button so that the change can be saved + mgui.changeMade(this, CHANGE_VALUE_COMPONENT); } }