wxGUI: cosmetics in WMS dialog

git-svn-id: https://svn.osgeo.org/grass/grass/trunk@65208 15284696-431f-4ddb-bdfa-cd5b030d7da7

gui/wxpython/gui_core/widgets.py

@@ -1126,7 +1126,7 @@ class ManageSettingsWidget(wx.Panel):
 
         self.settingsSizer = wx.StaticBoxSizer(self.settingsBox, wx.HORIZONTAL)
         self.settingsSizer.Add(item=wx.StaticText(parent=self, id=wx.ID_ANY,
-                                                  label=_("Load settings:")),
+                                                  label=_("Load:")),
                                flag=wx.ALIGN_CENTER_VERTICAL | wx.RIGHT | wx.LEFT,
                                border=5)
         self.settingsSizer.Add(item=self.settingsChoice,

gui/wxpython/web_services/widgets.py

@@ -1085,7 +1085,7 @@ class WSManageSettingsWidget(ManageSettingsWidget):
     def _layout(self):
 
         self.btnAddDefaultServers = wx.Button(parent=self, id=wx.ID_ANY,
-                                             label=_("Add default servers"))
+                                             label=_("Add default"))
         self.btnAddDefaultServers.Bind(wx.EVT_BUTTON, self.OnAddDefaultServers)
 
         ManageSettingsWidget._layout(self)