Bug fix for recent enhancement of preferences dialog. Backport from develbranch_6 r39847.

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

gui/wxpython/gui_modules/goutput.py

@@ -793,7 +793,7 @@ class GMStc(wx.stc.StyledTextCtrl):
         self.typeface = settings.Get(group='display', key='outputfont', subkey='type')   
         if self.typeface == "": self.typeface = "Courier New"
                            
-        self.typesize = settings.Get(group='display', key='outputfont', subkey='size')
+        self.typesize = float(settings.Get(group='display', key='outputfont', subkey='size'))
         if self.typesize == None or self.typesize <= 0: self.typesize = 10
 
         self.StyleDefault     = 0

gui/wxpython/gui_modules/preferences.py

@@ -1778,7 +1778,7 @@ class PreferencesDialog(wx.Dialog):
 
         type = self.settings.Get(group='display', key='outputfont', subkey='type')   
                            
-        size = self.settings.Get(group='display', key='outputfont', subkey='size')
+        size = float(self.settings.Get(group='display', key='outputfont', subkey='size'))
         if size == None or size == 0: size = 9
         
         data = wx.FontData()
@@ -1793,7 +1793,7 @@ class PreferencesDialog(wx.Dialog):
 
             self.settings.Set(group='display', value=font.GetFaceName(),
                                   key='outputfont', subkey='type')
-            self.settings.Set(group='display', value=font.GetPointSize(),
+            self.settings.Set(group='display', value=str(font.GetPointSize()),
                                   key='outputfont', subkey='size')
                 
         dlg.Destroy()