From 4dfc01cbab9720fa629e438bf71bfa03689e25ed Mon Sep 17 00:00:00 2001
From: Ludovic Apvrille <ludovic.apvrille@telecom-paristech.fr>
Date: Tue, 25 Sep 2012 08:12:58 +0000
Subject: [PATCH] Bug on SD capture resolved
---
src/ui/TDiagramPanel.java | 2 ++
src/ui/sd/SDInstance.java | 2 +-
2 files changed, 3 insertions(+), 1 deletion(-)
diff --git a/src/ui/TDiagramPanel.java b/src/ui/TDiagramPanel.java
index 1275027c96..ee91598df8 100755
--- a/src/ui/TDiagramPanel.java
+++ b/src/ui/TDiagramPanel.java
@@ -1840,8 +1840,10 @@ public abstract class TDiagramPanel extends JPanel implements GenericTree {
if (componentPointed instanceof CheckableInvariant){
checkInvariant.setEnabled(true);
+ checkMasterMutex.setEnabled(true);
} else {
checkInvariant.setEnabled(false);
+ checkMasterMutex.setEnabled(false);
}
if (componentPointed instanceof AllowedBreakpoint){
diff --git a/src/ui/sd/SDInstance.java b/src/ui/sd/SDInstance.java
index 7216086f9a..cf5d50a28a 100755
--- a/src/ui/sd/SDInstance.java
+++ b/src/ui/sd/SDInstance.java
@@ -152,7 +152,7 @@ public class SDInstance extends TGCWithInternalComponent implements SwallowTGCom
}
public int getMyCurrentMinY() {
- return Math.min(y-hText, y);
+ return Math.min(y-hText-heightActor, y);
}
public String getInstanceName() {
--
GitLab