From 45d69663bc50fbe3c824594fadf759b1b1b19d9c Mon Sep 17 00:00:00 2001
From: dblouin <dominique.blouin@telecom-paristech.fr>
Date: Tue, 18 Jul 2017 16:19:06 +0200
Subject: [PATCH] Issue #35: Enable the save button so that the change can be
saved
---
src/main/java/ui/TDiagramPanel.java | 3 +++
1 file changed, 3 insertions(+)
diff --git a/src/main/java/ui/TDiagramPanel.java b/src/main/java/ui/TDiagramPanel.java
index aec52d1fff..e3bae696c2 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);
}
}
--
GitLab