Skip to content
Snippets Groups Projects
Commit 2967d85f authored by Letitia Li's avatar Letitia Li
Browse files

Fixing bug fix for enabling uppaal

parent c5af99ba
No related branches found
No related tags found
1 merge request!11Fixing bug fix for enabling uppaal
......@@ -140,7 +140,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);
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment