Fixing bug fix for enabling uppaal

3526d542 · Letitia Li · Fabien Tessier · 15d9285d · 3526d542
Commit 3526d542 authored 7 years ago by Letitia Li Committed by Fabien Tessier 7 years ago
--- a/src/main/java/ui/ModeManager.java
+++ b/src/main/java/ui/ModeManager.java
@@ -139,7 +139,12 @@ public class ModeManager {
            actions[TGUIAction.ACT_GEN_RTLOTOS].setEnabled(true);
            actions[TGUIAction.ACT_GEN_LOTOS].setEnabled(true);
            actions[TGUIAction.ACT_DSE].setEnabled(true);
-            actions[TGUIAction.ACT_GEN_UPPAAL].setEnabled(false);
+            if (mgui.getCurrentTURTLEPanel() instanceof TMLComponentDesignPanel){
+           		actions[TGUIAction.ACT_GEN_UPPAAL].setEnabled(true);
+            }
+            else {
+	            actions[TGUIAction.ACT_GEN_UPPAAL].setEnabled(false);
+	        }
            actions[TGUIAction.ACT_GEN_JAVA].setEnabled(true);
            actions[TGUIAction.ACT_SIMU_JAVA].setEnabled(true);
            actions[TGUIAction.ACT_GEN_RTLOTOS].setEnabled(true);