wxGUI/preferences: fix setting command output font (#3187)

OSGeo · Sep 26, 2023 · e34e16d · e34e16d
1 parent 508578d
commit e34e16d
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/gui/wxpython/gui_core/preferences.py b/gui/wxpython/gui_core/preferences.py
@@ -2035,7 +2035,6 @@ def OnSetOutputFont(self, event):
         size = self.settings.Get(group="appearance", key="outputfont", subkey="size")
         if size is None or size == 0:
             size = 11
-        size = float(size)
         if type is None or type == "":
             type = "Courier"