diff --git a/gui/wxpython/gui_core/goutput.py b/gui/wxpython/gui_core/goutput.py index f9ccd4b542d..15e1eb737e2 100644 --- a/gui/wxpython/gui_core/goutput.py +++ b/gui/wxpython/gui_core/goutput.py @@ -621,7 +621,7 @@ def SetStyle(self): typesize = UserSettings.Get(group="appearance", key="outputfont", subkey="size") if typesize is None or int(typesize) <= 0: typesize = 10 - typesize = float(typesize) + typesize = int(float(typesize)) fontInfo = wx.FontInfo(typesize) fontInfo.FaceName(typeface)