|
@@ -382,7 +382,7 @@ public class MyCanvas extends JPanel implements MouseListener, MouseMotionListen
|
|
sx = e.getX();
|
|
sx = e.getX();
|
|
sy = e.getY();
|
|
sy = e.getY();
|
|
doMark = true;
|
|
doMark = true;
|
|
- }
|
|
|
|
|
|
+ }
|
|
// Object Selection Highlighting (selectRect)
|
|
// Object Selection Highlighting (selectRect)
|
|
objectSelectionHighlighting();
|
|
objectSelectionHighlighting();
|
|
|
|
|
|
@@ -431,6 +431,10 @@ public class MyCanvas extends JPanel implements MouseListener, MouseMotionListen
|
|
}
|
|
}
|
|
TempSelected.clear();
|
|
TempSelected.clear();
|
|
}
|
|
}
|
|
|
|
+
|
|
|
|
+ if (doubleClick() && tempCps != null && tempCps instanceof HolonSwitch) {
|
|
|
|
+ ((HolonSwitch)tempCps).switchState();
|
|
|
|
+ }
|
|
|
|
|
|
controller.calculateStateForTimeStep(model.getCurIteration());
|
|
controller.calculateStateForTimeStep(model.getCurIteration());
|
|
|
|
|