From 5b2d33db431735b42cefd7d9a73e7f5f64655b8e Mon Sep 17 00:00:00 2001 From: Daniel Kirschten Date: Wed, 15 May 2019 10:52:56 +0200 Subject: [PATCH] Fixed text centering being off 1.75px --- LogicUI/src/era/mi/components/gui/GUINotGate.java | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/LogicUI/src/era/mi/components/gui/GUINotGate.java b/LogicUI/src/era/mi/components/gui/GUINotGate.java index 8078b0c6..4ab4c440 100644 --- a/LogicUI/src/era/mi/components/gui/GUINotGate.java +++ b/LogicUI/src/era/mi/components/gui/GUINotGate.java @@ -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); } -- 2.17.1