From 85148cb87f96a460768c5fbca8a417265de3ab09 Mon Sep 17 00:00:00 2001 From: HomeWorld Date: Thu, 16 Sep 2010 17:07:48 +0300 Subject: [PATCH] Font size fix for mac (not the best fix around) --- gui/statsPane.py | 13 +++++++------ 1 file changed, 7 insertions(+), 6 deletions(-) diff --git a/gui/statsPane.py b/gui/statsPane.py index 29a5ca528..537b81378 100644 --- a/gui/statsPane.py +++ b/gui/statsPane.py @@ -42,12 +42,13 @@ class StatsPane(wx.Panel): wx.Panel.__init__(self, parent) self.SetMinSize((310, -1)) - # Force font size 8 - standardFont = wx.SystemSettings.GetFont(wx.SYS_DEFAULT_GUI_FONT) - standardFont.SetPointSize(8) - self.SetFont(standardFont) - -# self.SetBackgroundColour(parent.GetBackgroundColour()) + # Use 25% smaller fonts if MAC or force font size to 8 for msw/linux + if wx.Platform == "__WXMAC__": + self.SetWindowVariant(wx.WINDOW_VARIANT_SMALL) + else: + standardFont = wx.SystemSettings.GetFont(wx.SYS_DEFAULT_GUI_FONT) + standardFont.SetPointSize(8) + self.SetFont(standardFont) mainSizer = wx.BoxSizer(wx.VERTICAL) self.SetSizer(mainSizer)