- some UI changes in the Preferences: the clicked tab now have a distinctive color (green) and some strings are optimized

appGUI/preferences/geometry/GeometryAdvOptPrefGroupUI.py

@@ -17,7 +17,7 @@ class GeometryAdvOptPrefGroupUI(OptionsGroupUI):
         # OptionsGroupUI.__init__(self, "Geometry Advanced Options Preferences", parent=parent)
         super(GeometryAdvOptPrefGroupUI, self).__init__(self, parent=parent)
 
-        self.setTitle(str(_("Geometry Adv. Options")))
+        self.setTitle(str(_("Adv. Options")))
         self.decimals = decimals
         self.defaults = defaults
 

appGUI/preferences/geometry/GeometryEditorPrefGroupUI.py

@@ -17,7 +17,7 @@ class GeometryEditorPrefGroupUI(OptionsGroupUI):
         # OptionsGroupUI.__init__(self, "Gerber Adv. Options Preferences", parent=parent)
         super(GeometryEditorPrefGroupUI, self).__init__(self, parent=parent)
 
-        self.setTitle(str(_("Geometry Editor")))
+        self.setTitle(str(_("Editor")))
         self.decimals = decimals
         self.defaults = defaults
 

appGUI/preferences/geometry/GeometryExpPrefGroupUI.py

@@ -16,7 +16,7 @@ class GeometryExpPrefGroupUI(OptionsGroupUI):
     def __init__(self, defaults, decimals=4, parent=None):
         super(GeometryExpPrefGroupUI, self).__init__(self, parent=parent)
 
-        self.setTitle(str(_("Geometry Export")))
+        self.setTitle(str(_("Export")))
         self.decimals = decimals
         self.defaults = defaults
 

appGUI/preferences/geometry/GeometryGenPrefGroupUI.py

@@ -19,7 +19,7 @@ class GeometryGenPrefGroupUI(OptionsGroupUI):
         # OptionsGroupUI.__init__(self, "Geometry General Preferences", parent=parent)
         super(GeometryGenPrefGroupUI, self).__init__(self, parent=parent)
 
-        self.setTitle(str(_("Geometry General")))
+        self.setTitle(str(_("General")))
         self.decimals = decimals
         self.defaults = defaults
 

appGUI/preferences/geometry/GeometryOptPrefGroupUI.py

@@ -18,7 +18,7 @@ class GeometryOptPrefGroupUI(OptionsGroupUI):
         # OptionsGroupUI.__init__(self, "Geometry Options Preferences", parent=parent)
         super(GeometryOptPrefGroupUI, self).__init__(self, parent=parent)
 
-        self.setTitle(str(_("Geometry Options")))
+        self.setTitle(str(_("Options")))
         self.decimals = decimals
         self.defaults = defaults