controls/EditorPanel.py
changeset 635 dbcb8e2d2730
parent 617 1a80e0598045
child 655 435e2d8ee580
--- 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)