--- a/controls/EditorPanel.py Tue Jan 31 13:38:06 2012 +0100
+++ b/controls/EditorPanel.py Tue Jan 31 23:38:12 2012 +0100
@@ -40,7 +40,10 @@
def _init_Editor(self, prnt):
self.Editor = None
-
+
+ def _init_MenuItems(self):
+ self.MenuItems = []
+
def _init_ctrls(self, prnt):
wx.SplitterWindow.__init__(self, id=self.ID, name='MainSplitter', parent=prnt,
size=wx.Size(0, 0), style=wx.SUNKEN_BORDER|wx.SP_3D)
@@ -48,6 +51,7 @@
self.SetMinimumPaneSize(1)
self._init_Editor(self)
+ self._init_MenuItems()
if self.VARIABLE_PANEL_TYPE is not None:
self.VariableEditor = VariablePanel(self, self, self.Controler, self.VARIABLE_PANEL_TYPE, self.Debug)
@@ -128,6 +132,12 @@
if self.VariableEditor is not None:
self.VariableEditor.RefreshView()
+ def GetPluginMenuItems(self):
+ return self.MenuItems
+
+ def RefreshPluginMenu(self, plugin_menu):
+ pass
+
def _Refresh(self, *args):
self.ParentWindow._Refresh(*args)