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)
commit5b2d33db431735b42cefd7d9a73e7f5f64655b8e
tree9f0f4ce345dcf7a77e8ad42c0d27c05419bf2b88
parent876c192e726cde66adcb4453ebcfc15ab3f8af63
Fixed text centering being off 1.75px
LogicUI/src/era/mi/components/gui/GUINotGate.java