From ba1279a0c6c57e64b3e85692e25f30c399d02c42 Mon Sep 17 00:00:00 2001 From: HomeWorld Date: Wed, 27 Oct 2010 16:01:52 +0300 Subject: [PATCH] wxgtk is UGLY so no style for shipbrowser main panel --- gui/shipBrowser.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/gui/shipBrowser.py b/gui/shipBrowser.py index a759e52cf..a29d63328 100644 --- a/gui/shipBrowser.py +++ b/gui/shipBrowser.py @@ -16,7 +16,7 @@ Stage3Selected, EVT_SB_STAGE3_SEL = wx.lib.newevent.NewEvent() class ShipBrowser(wx.Panel): def __init__(self, parent): - wx.Panel.__init__ (self, parent,style = wx.SIMPLE_BORDER if 'wxGTK' in wx.PlatformInfo else wx.DOUBLE_BORDER) + wx.Panel.__init__ (self, parent,style = 0 if 'wxGTK' in wx.PlatformInfo else wx.DOUBLE_BORDER) self._lastWidth = 0 self._activeStage = 0