- multiple UI changes in Preferences

- UI changes in the Paint Plugin
2021-09-25 21:08:15 +03:00
parent 0fa01e760a
commit 08d3a580ac
42 changed files with 762 additions and 628 deletions
--- a/appGUI/preferences/tools/Tools2PunchGerberPrefGroupUI.py
+++ b/appGUI/preferences/tools/Tools2PunchGerberPrefGroupUI.py
@@ -94,7 +94,7 @@ class Tools2PunchGerberPrefGroupUI(OptionsGroupUI):
                {'label': _("Proportional"), 'value': 'prop'}
            ],
            orientation='vertical',
-            stretch=False)
+            compact=True)
        self.hole_size_label = FCLabel('<b>%s:</b>' % _("Method"))
        self.hole_size_label.setToolTip(
            _("The punch hole source can be:\n"