Bug on SD capture resolved

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){

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() {