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)
commit7123af7d72607a7325f71e6db799837c8fac4d10
tree7d1d25c12830d1e6e58cee4e78ab3dd77b552b21
parenta12025ee38a7c1c7539890d799c8bae1222a1136
Improved GUIManualSwitch
net.mograsim.logic.ui/src/net/mograsim/logic/ui/model/components/GUIManualSwitch.java