38 else: |
38 else: |
39 event(self, function) |
39 event(self, function) |
40 |
40 |
41 def _init_Editor(self, prnt): |
41 def _init_Editor(self, prnt): |
42 self.Editor = None |
42 self.Editor = None |
43 |
43 |
|
44 def _init_MenuItems(self): |
|
45 self.MenuItems = [] |
|
46 |
44 def _init_ctrls(self, prnt): |
47 def _init_ctrls(self, prnt): |
45 wx.SplitterWindow.__init__(self, id=self.ID, name='MainSplitter', parent=prnt, |
48 wx.SplitterWindow.__init__(self, id=self.ID, name='MainSplitter', parent=prnt, |
46 size=wx.Size(0, 0), style=wx.SUNKEN_BORDER|wx.SP_3D) |
49 size=wx.Size(0, 0), style=wx.SUNKEN_BORDER|wx.SP_3D) |
47 self.SetNeedUpdating(True) |
50 self.SetNeedUpdating(True) |
48 self.SetMinimumPaneSize(1) |
51 self.SetMinimumPaneSize(1) |
49 |
52 |
50 self._init_Editor(self) |
53 self._init_Editor(self) |
|
54 self._init_MenuItems() |
51 |
55 |
52 if self.VARIABLE_PANEL_TYPE is not None: |
56 if self.VARIABLE_PANEL_TYPE is not None: |
53 self.VariableEditor = VariablePanel(self, self, self.Controler, self.VARIABLE_PANEL_TYPE, self.Debug) |
57 self.VariableEditor = VariablePanel(self, self, self.Controler, self.VARIABLE_PANEL_TYPE, self.Debug) |
54 self.VariableEditor.SetTagName(self.TagName) |
58 self.VariableEditor.SetTagName(self.TagName) |
55 |
59 |
126 |
130 |
127 def RefreshVariablePanel(self): |
131 def RefreshVariablePanel(self): |
128 if self.VariableEditor is not None: |
132 if self.VariableEditor is not None: |
129 self.VariableEditor.RefreshView() |
133 self.VariableEditor.RefreshView() |
130 |
134 |
|
135 def GetPluginMenuItems(self): |
|
136 return self.MenuItems |
|
137 |
|
138 def RefreshPluginMenu(self, plugin_menu): |
|
139 pass |
|
140 |
131 def _Refresh(self, *args): |
141 def _Refresh(self, *args): |
132 self.ParentWindow._Refresh(*args) |
142 self.ParentWindow._Refresh(*args) |
133 |
143 |
134 def RefreshScaling(self, refresh=True): |
144 def RefreshScaling(self, refresh=True): |
135 pass |
145 pass |