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)
LogicUI/src/era/mi/components/gui/GUINotGate.java

index 8078b0c..4ab4c44 100644 (file)
@@ -42,7 +42,7 @@ public class GUINotGate extends NotGate implements BasicGUIComponent
                Font labelFont = new Font(oldFont.getName(), 5, oldFont.getStyle());
                gc.setFont(labelFont);
                Point textExtent = gc.textExtent(LABEL);
-               gc.drawText(LABEL, 10 - textExtent.x / 2, 5 - textExtent.y / 2, true);
+               gc.drawText(LABEL, 8.5 - textExtent.x / 2, 5 - textExtent.y / 2, true);
                gc.setFont(oldFont);
                gc.drawOval(17, 3.5, 3, 3);
        }