plugins/python/PythonEditor.py
changeset 654 9f6c091c316c
parent 534 80f05b17de1e
child 657 340c0b9caeca
equal deleted inserted replaced
653:21a572d80bd7 654:9f6c091c316c
   569         
   569         
   570 #-------------------------------------------------------------------------------
   570 #-------------------------------------------------------------------------------
   571 #                          Edit Project Menu Functions
   571 #                          Edit Project Menu Functions
   572 #-------------------------------------------------------------------------------
   572 #-------------------------------------------------------------------------------
   573 
   573 
       
   574     def RefreshFileMenu(self):
       
   575         pass
       
   576 
   574     def RefreshEditMenu(self):
   577     def RefreshEditMenu(self):
   575         undo, redo = self.Controler.GetBufferState()
   578         undo, redo = self.Controler.GetBufferState()
   576         self.EditMenu.Enable(wx.ID_UNDO, undo)
   579         self.EditMenu.Enable(wx.ID_UNDO, undo)
   577         self.EditMenu.Enable(wx.ID_REDO, redo)
   580         self.EditMenu.Enable(wx.ID_REDO, redo)
   578 
   581