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 c3bbab7..50a275d 100644 (file)
@@ -25,7 +25,7 @@ public class WireConnectionPoint implements BasicGUIComponent
                Color oldBG = gc.getBackground();\r
                if(wa.length == 1)\r
                        gc.setBackground(gc.getDevice().getSystemColor(GUIWire.getSWTColorConstantForBit(wa.getValue())));\r
-               gc.fillOval(-2, -2, 4, 4);\r
+               gc.fillOval(-1, -1, 2, 2);\r
                gc.setBackground(oldBG);\r
        }\r
        @Override\r