WireConnectionPoints are now smaller
authorDaniel Kirschten <daniel.kirschten@gmx.de>
Thu, 16 May 2019 09:06:33 +0000 (11:06 +0200)
committerDaniel Kirschten <daniel.kirschten@gmx.de>
Thu, 16 May 2019 09:06:33 +0000 (11:06 +0200)
LogicUI/src/era/mi/gui/wires/WireConnectionPoint.java

index 6c585a4..8c2df1d 100644 (file)
@@ -25,7 +25,7 @@ public class WireConnectionPoint implements BasicGUIComponent
                Color oldBG = gc.getBackground();
                if(wa.length == 1)
                        gc.setBackground(gc.getDevice().getSystemColor(GUIWire.getSWTColorConstantForBit(wa.getValue())));
-               gc.fillOval(-2, -2, 4, 4);
+               gc.fillOval(-1, -1, 2, 2);
                gc.setBackground(oldBG);
        }
        @Override