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)