fix bug on font setting with wx version 2.8.11

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

gui/wxpython/gui_core/preferences.py

@@ -1336,7 +1336,7 @@ class DefaultFontDialog(wx.Dialog):
                       
             self.spin = wx.SpinCtrl(parent = panel, id = wx.ID_ANY)
             if self.fontsize:
-                self.spin.SetValue(self.fontsize)
+                self.spin.SetValue(int(self.fontsize))
             self.spin.Bind(wx.EVT_SPINCTRL, self.OnSizeSpin)
             self.spin.Bind(wx.EVT_TEXT, self.OnSizeSpin)
             gridSizer.Add(item = self.spin,