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 a66c24d..7af9a4b 100644 (file)
@@ -42,7 +42,7 @@ public class GUINotGate extends NotGate implements BasicGUIComponent
                Font labelFont = new Font(oldFont.getName(), 5, oldFont.getStyle());\r
                gc.setFont(labelFont);\r
                Point textExtent = gc.textExtent(LABEL);\r
-               gc.drawText(LABEL, 10 - textExtent.x / 2, 5 - textExtent.y / 2, true);\r
+               gc.drawText(LABEL, 8.5 - textExtent.x / 2, 5 - textExtent.y / 2, true);\r
                gc.setFont(oldFont);\r
                gc.drawOval(17, 3.5, 3, 3);\r
        }\r