@@ -45,6 +45,7 @@ public class DrawPanel extends JPanel {
45
45
46
46
public DrawPanel (JFrame frame , Model model ) {
47
47
this .scaleFactor = FUtils .OS .isMacOs () ? 2 : 1 ;
48
+ System .out .println (scaleFactor );
48
49
this .scaleX = this .scaleFactor ;
49
50
this .scaleY = this .scaleFactor ;
50
51
@@ -66,10 +67,10 @@ public void updatePositions(double scaleX, double scaleY, int dx, int dy) {
66
67
}
67
68
68
69
/* Mettre à jour les coordonnées des arcs en cours de création */
69
- arcOriginX += dx / scaleX ;
70
- arcOriginY += dy / scaleY ;
71
- arcDestX += dx / scaleX ;
72
- arcDestY += dy / scaleY ;
70
+ arcOriginX += dx / scaleX * scaleFactor ;
71
+ arcOriginY += dy / scaleY * scaleFactor ;
72
+ arcDestX += dx / scaleX * scaleFactor ;
73
+ arcDestY += dy / scaleY * scaleFactor ;
73
74
}
74
75
75
76
/* Bouger un objet donné en paramètre */
@@ -177,8 +178,12 @@ public void addArc(double x1,double y1, double x2, double y2){
177
178
if (obj1 .getClass () != obj2 .getClass ()) {
178
179
179
180
if (obj1 instanceof Transition ) {
181
+ System .out .println (obj1 );
182
+ System .out .println (obj2 );
180
183
((Transition ) obj1 ).addParent (new Arc ((Place ) obj2 , 1 , ((Transition ) obj1 ).getX (), ((Transition ) obj1 ).getY (), false , (Transition )obj1 ));
181
184
} else {
185
+ System .out .println (obj1 );
186
+ System .out .println (obj2 );
182
187
((Transition ) obj2 ).addChildren (new Arc ((Place ) obj1 , 1 , ((Transition ) obj2 ).getX (), ((Transition ) obj2 ).getY (), true , (Transition )obj2 ));
183
188
}
184
189
0 commit comments