Improved GUIManualSwitch
authorDaniel Kirschten <daniel.kirschten@gmx.de>
Sun, 2 Jun 2019 20:01:40 +0000 (22:01 +0200)
committerDaniel Kirschten <daniel.kirschten@gmx.de>
Sun, 2 Jun 2019 20:01:40 +0000 (22:01 +0200)
commitfdface0e4b7cba775b32691825e4fada93ab8c57
tree12e6affba65e6ecf52e2818eb7fa87c4c1e7d618
parent27a7d11473c850dc84b052ecfc5870706a14d104
Improved GUIManualSwitch
net.mograsim.logic.ui/src/net/mograsim/logic/ui/model/components/GUIManualSwitch.java