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

fixes an issue with the wire tool tip catch radius; see #510

Browse Source
This commit is contained in:
hneemann 2020-11-03 21:41:01 +01:00
parent 27c20e6eec
commit afd3e737d9
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -591,7 +591,7 @@ public class CircuitComponent extends JComponent implements ChangedListener, Lib
} }
} }
Wire w = getCircuit().getWireAt(pos, SIZE2); Wire w = getCircuit().getWireAt(pos, (int) (SIZE2 / transform.getScaleX()));
if (w != null) { if (w != null) {
ObservableValue v = w.getValue(); ObservableValue v = w.getValue();
if (v != null) if (v != null)