From c5217d7f47490bbb053bf13e94e7b5bc697e255c Mon Sep 17 00:00:00 2001
From: Daniel Kirschten <daniel.kirschten@gmx.de>
Date: Thu, 16 May 2019 11:06:33 +0200
Subject: [PATCH] WireConnectionPoints are now smaller

---
 LogicUI/src/era/mi/gui/wires/WireConnectionPoint.java | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/LogicUI/src/era/mi/gui/wires/WireConnectionPoint.java b/LogicUI/src/era/mi/gui/wires/WireConnectionPoint.java
index 6c585a47..8c2df1d5 100644
--- a/LogicUI/src/era/mi/gui/wires/WireConnectionPoint.java
+++ b/LogicUI/src/era/mi/gui/wires/WireConnectionPoint.java
@@ -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
-- 
2.17.1