diff --git a/gui/statsPane.py b/gui/statsPane.py index 35fe2176d..fdbcb79dd 100644 --- a/gui/statsPane.py +++ b/gui/statsPane.py @@ -85,6 +85,8 @@ def __init__(self, parent): if "__WXMAC__" in wx.PlatformInfo: self.SetWindowVariant(wx.WINDOW_VARIANT_SMALL) + elif "__WXGTK__" in wx.PlatformInfo: + self.SetWindowVariant(wx.WINDOW_VARIANT_SMALL) else: standardFont = wx.SystemSettings.GetFont(wx.SYS_DEFAULT_GUI_FONT) standardFont.SetPointSize(8) diff --git a/gui/utils/fonts.py b/gui/utils/fonts.py index 6f8e109d3..61ce3b857 100644 --- a/gui/utils/fonts.py +++ b/gui/utils/fonts.py @@ -8,6 +8,8 @@ if 'wxMac' in wx.PlatformInfo: sizes = (10, 11, 12) +elif 'wxGTK' in wx.PlatformInfo: + sizes = (8, 9, 10) else: sizes = (7, 8, 9)