equal
deleted
inserted
replaced
36 |
36 |
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, |
|
42 style=wx.SUNKEN_BORDER | wx.SP_3D) |
|
43 self.SetMinimumPaneSize(1) |
41 self.SetMinimumPaneSize(1) |
44 |
42 |
45 self._init_MenuItems() |
43 self._init_MenuItems() |
46 |
44 |
47 if self.VARIABLE_PANEL_TYPE is not None: |
45 if self.VARIABLE_PANEL_TYPE is not None: |
58 self.Initialize(self.VariableEditor) |
56 self.Initialize(self.VariableEditor) |
59 elif self.Editor is not None: |
57 elif self.Editor is not None: |
60 self.Initialize(self.Editor) |
58 self.Initialize(self.Editor) |
61 |
59 |
62 def __init__(self, parent, tagname, window, controler, debug=False): |
60 def __init__(self, parent, tagname, window, controler, debug=False): |
|
61 wx.SplitterWindow.__init__(self, parent, |
|
62 style=wx.SUNKEN_BORDER | wx.SP_3D) |
|
63 |
63 self.ParentWindow = window |
64 self.ParentWindow = window |
64 self.Controler = controler |
65 self.Controler = controler |
65 self.TagName = tagname |
66 self.TagName = tagname |
66 self.Icon = None |
67 self.Icon = None |
67 self.Debug = debug |
68 self.Debug = debug |