From 90e0da8f4f636f7ff83de91fa42cc74579cd5c0b Mon Sep 17 00:00:00 2001 From: HomeWorld Date: Wed, 20 Jul 2011 23:10:41 +0300 Subject: [PATCH] Some minor wxgtk fixes for market browser search box --- gui/PFSearchBox.py | 5 ++--- 1 file changed, 2 insertions(+), 3 deletions(-) diff --git a/gui/PFSearchBox.py b/gui/PFSearchBox.py index 26f514d3c..dd356d69c 100644 --- a/gui/PFSearchBox.py +++ b/gui/PFSearchBox.py @@ -39,9 +39,8 @@ class PFSearchBox(wx.Window): self.padding = 4 self._hl = False - - self.EditBox = wx.TextCtrl(self, wx.ID_ANY, "", wx.DefaultPosition, (-1,-1), wx.TE_PROCESS_ENTER) - + w,h = size + self.EditBox = wx.TextCtrl(self, wx.ID_ANY, "", wx.DefaultPosition, (-1, h - 2 if 'wxGTK' in wx.PlatformInfo else -1 ), wx.TE_PROCESS_ENTER | (wx.BORDER_NONE if 'wxGTK' in wx.PlatformInfo else 0)) self.Bind(wx.EVT_PAINT, self.OnPaint) self.Bind(wx.EVT_ERASE_BACKGROUND, self.OnEraseBk) self.Bind(wx.EVT_SIZE, self.OnSize)