Fixed text centering being off 1.75px
authorDaniel Kirschten <daniel.kirschten@gmx.de>
Wed, 15 May 2019 08:52:56 +0000 (10:52 +0200)
committerDaniel Kirschten <daniel.kirschten@gmx.de>
Wed, 15 May 2019 08:53:23 +0000 (10:53 +0200)
commit48db093ee4014bf9cc6c600a1a48e1e11ea6f5f7
tree22a18467bd0d87648eb55628d13a2049127668bb
parentdfedf0abe75045247bbb831c1d241ba38ff57ad4
Fixed text centering being off 1.75px
LogicUI/src/era/mi/components/gui/GUINotGate.java