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