wxGUI: enlarge settings dialog

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

gui/wxpython/gui_core/preferences.py

@@ -56,7 +56,7 @@ wxSettingsChanged, EVT_SETTINGS_CHANGED = NewEvent()
 class PreferencesBaseDialog(wx.Dialog):
     """!Base preferences dialog"""
     def __init__(self, parent, settings, title = _("User settings"),
-                 size = (500, 425),
+                 size = (500, 475),
                  style = wx.DEFAULT_DIALOG_STYLE | wx.RESIZE_BORDER):
         self.parent = parent # ModelerFrame
         self.title  = title