equal
deleted
inserted
replaced
37 self.MenuItems = [] |
37 self.MenuItems = [] |
38 |
38 |
39 def _init_ctrls(self, parent): |
39 def _init_ctrls(self, parent): |
40 wx.SplitterWindow.__init__(self, parent, |
40 wx.SplitterWindow.__init__(self, parent, |
41 style=wx.SUNKEN_BORDER|wx.SP_3D) |
41 style=wx.SUNKEN_BORDER|wx.SP_3D) |
42 self.SetNeedUpdating(True) |
|
43 self.SetMinimumPaneSize(1) |
42 self.SetMinimumPaneSize(1) |
44 |
43 |
45 self._init_MenuItems() |
44 self._init_MenuItems() |
46 |
45 |
47 if self.VARIABLE_PANEL_TYPE is not None: |
46 if self.VARIABLE_PANEL_TYPE is not None: |