From c533d623f9aab873b3d227553627e4b3a5ebbd45 Mon Sep 17 00:00:00 2001
From: Letitia Li <leli@enst.fr>
Date: Wed, 13 Jan 2016 11:45:59 +0000
Subject: [PATCH] Fixed Uppaal pragma not being added
---
src/ui/MainGUI.java | 2 ++
src/ui/avatarbd/AvatarBDSafetyPragma.java | 1 -
2 files changed, 2 insertions(+), 1 deletion(-)
diff --git a/src/ui/MainGUI.java b/src/ui/MainGUI.java
index 588b78a63c..700f7395d5 100755
--- a/src/ui/MainGUI.java
+++ b/src/ui/MainGUI.java
@@ -7937,6 +7937,8 @@ public class MainGUI implements ActionListener, WindowListener, KeyListener, Pe
actionOnButton(TGComponentManager.COMPONENT, TGComponentManager.UML_NOTE);
} else if (command.equals(actions[TGUIAction.PRAGMA].getActionCommand())) {
actionOnButton(TGComponentManager.COMPONENT, TGComponentManager.PRAGMA);
+ } else if (command.equals(actions[TGUIAction.SAFETY_PRAGMA].getActionCommand())) {
+ actionOnButton(TGComponentManager.COMPONENT, TGComponentManager.SAFETY_PRAGMA);
// AVATAR actions
} else if (command.equals(actions[TGUIAction.ACT_AVATAR_SIM].getActionCommand())) {
diff --git a/src/ui/avatarbd/AvatarBDSafetyPragma.java b/src/ui/avatarbd/AvatarBDSafetyPragma.java
index c28a5d0c9d..b7417ed62e 100644
--- a/src/ui/avatarbd/AvatarBDSafetyPragma.java
+++ b/src/ui/avatarbd/AvatarBDSafetyPragma.java
@@ -81,7 +81,6 @@ public class AvatarBDSafetyPragma extends TGCScalableWithoutInternalComponent {
protected Graphics graphics;
public AvatarBDSafetyPragma(int _x, int _y, int _minX, int _maxX, int _minY, int _maxY, boolean _pos, TGComponent _father, TDiagramPanel _tdp) {
super(_x, _y, _minX, _maxX, _minY, _maxY, _pos, _father, _tdp);
-
width = 200;
height = 30;
minWidth = 80;
--
GitLab