a bit of extra space in the button

LettError · Dec 12, 2023 · 07c5e6d · 07c5e6d
1 parent 5e86c1d
commit 07c5e6d
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/DesignspaceEditor2.roboFontExt/lib/designspaceEditor/ui.py b/DesignspaceEditor2.roboFontExt/lib/designspaceEditor/ui.py
@@ -995,7 +995,7 @@ def build(self):
 
         # PROBLEMS
         self.problems.tools = vanilla.SegmentedButton(
-            (10, 5, 120, 22),
+            (10, 5, 130, 22),
             selectionStyle="momentary",
             callback=self.problemsToolsCallback,
             segmentDescriptions=[dict(title="Check for problems")]