From 9b0ed1d335766e57949c5bcdb492e96fdf2aa217 Mon Sep 17 00:00:00 2001 From: Anna Petrasova Date: Sat, 25 Dec 2021 21:52:01 -0500 Subject: [PATCH] wxGUI: font size Python 3.10 fix --- gui/wxpython/gui_core/goutput.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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)