From ff62dc81a3e1c24d2b648c371e8d4a4ad1e1a6f5 Mon Sep 17 00:00:00 2001 From: hneemann Date: Fri, 26 May 2017 12:59:01 +0200 Subject: [PATCH] fixed a rotating bug --- .../digital/gui/components/CircuitComponent.java | 11 +++-------- 1 file changed, 3 insertions(+), 8 deletions(-) diff --git a/src/main/java/de/neemann/digital/gui/components/CircuitComponent.java b/src/main/java/de/neemann/digital/gui/components/CircuitComponent.java index 3cbe534a0..31972dd17 100644 --- a/src/main/java/de/neemann/digital/gui/components/CircuitComponent.java +++ b/src/main/java/de/neemann/digital/gui/components/CircuitComponent.java @@ -1308,13 +1308,6 @@ public class CircuitComponent extends JComponent implements Circuit.ChangedListe } } - private void rotateElements(ArrayList elements, Vector pos) { - ModifyMoveSelected.rotateElements(elements, pos); - circuit.modified(); - hasChanged(); - } - - private final class MouseControllerMoveSelected extends MouseController { private ArrayList elements; private Vector lastPos; @@ -1449,7 +1442,9 @@ public class CircuitComponent extends JComponent implements Circuit.ChangedListe @Override public void rotate() { - rotateElements(elements, lastPos); + ModifyMoveSelected.rotateElements(elements, raster(lastPos)); + circuit.modified(); + hasChanged(); } @Override