TheCloud/Digital
1
0
Fork 0
mirror of https://github.com/hneemann/Digital.git synced 2025-09-30 08:23:37 -04:00
Code Issues Packages Projects Releases Wiki Activity

fixed a rotating bug

Browse Source
This commit is contained in:
hneemann 2017-05-26 12:59:01 +02:00
parent 27740b7584
commit ff62dc81a3
1 changed files with 3 additions and 8 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

11
src/main/java/de/neemann/digital/gui/components/CircuitComponent.java
View File

@ -1308,13 +1308,6 @@ public class CircuitComponent extends JComponent implements Circuit.ChangedListe
} }
} }
private void rotateElements(ArrayList<Movable> elements, Vector pos) {
ModifyMoveSelected.rotateElements(elements, pos);
circuit.modified();
hasChanged();
}
private final class MouseControllerMoveSelected extends MouseController { private final class MouseControllerMoveSelected extends MouseController {
private ArrayList<Movable> elements; private ArrayList<Movable> elements;
private Vector lastPos; private Vector lastPos;
@ -1449,7 +1442,9 @@ public class CircuitComponent extends JComponent implements Circuit.ChangedListe
@Override @Override
public void rotate() { public void rotate() {
rotateElements(elements, lastPos); ModifyMoveSelected.rotateElements(elements, raster(lastPos));
circuit.modified();
hasChanged();
} }
@Override @Override