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

fixed a rastering bug if circuit is rotated

Browse Source
This commit is contained in:
hneemann 2016-06-11 18:40:19 +02:00
parent 116d0dc8a2
commit c1ea119b5d
1 changed files with 4 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -814,12 +814,12 @@ public class CircuitComponent extends JComponent {
Vector p1;
Vector p2;
if (mcs != null) {
p1 = Vector.min(mcs.corner1, mcs.corner2);
p1 = raster(Vector.min(mcs.corner1, mcs.corner2));
p2 = Vector.max(mcs.corner1, mcs.corner2);
p2 = p1.add(0, p2.y - p1.y);
p2 = raster(p1.add(0, p2.y - p1.y));
} else {
p1 = pos;
p2 = pos;
p1 = raster(pos);
p2 = p1;
}
Transform transform = new TransformRotate(p2, 1) {