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)
commitc5217d7f47490bbb053bf13e94e7b5bc697e255c
tree53f60f3b3c85d4e6bf857297771113ca15cd6272
parent16322f272d5a7e16980ede3481f2a1c9d271e5df
WireConnectionPoints are now smaller
LogicUI/src/era/mi/gui/wires/WireConnectionPoint.java