plugins/python/PythonEditor.py
changeset 654 9f6c091c316c
parent 534 80f05b17de1e
child 657 340c0b9caeca
--- a/plugins/python/PythonEditor.py	Fri Dec 16 22:54:24 2011 +0100
+++ b/plugins/python/PythonEditor.py	Fri Dec 16 22:55:13 2011 +0100
@@ -571,6 +571,9 @@
 #                          Edit Project Menu Functions
 #-------------------------------------------------------------------------------
 
+    def RefreshFileMenu(self):
+        pass
+
     def RefreshEditMenu(self):
         undo, redo = self.Controler.GetBufferState()
         self.EditMenu.Enable(wx.ID_UNDO, undo)