equal
deleted
inserted
replaced
1050 #------------------------------------------------------------------------------- |
1050 #------------------------------------------------------------------------------- |
1051 # Edit Project Menu Functions |
1051 # Edit Project Menu Functions |
1052 #------------------------------------------------------------------------------- |
1052 #------------------------------------------------------------------------------- |
1053 |
1053 |
1054 def RefreshEditMenu(self): |
1054 def RefreshEditMenu(self): |
1055 if self.EditMenu: |
1055 undo, redo = self.Controler.GetBufferState() |
1056 undo, redo = self.Controler.GetBufferState() |
1056 self.EditMenu.Enable(wx.ID_UNDO, undo) |
1057 self.EditMenu.Enable(wx.ID_UNDO, undo) |
1057 self.EditMenu.Enable(wx.ID_REDO, redo) |
1058 self.EditMenu.Enable(wx.ID_REDO, redo) |
|
1059 |
1058 |
1060 def OnRefreshMenu(self, event): |
1059 def OnRefreshMenu(self, event): |
1061 selected = self.GetPageSelection() |
1060 selected = self.GetPageSelection() |
1062 if selected != -1: |
1061 if selected != -1: |
1063 window = self.GetPage(selected) |
1062 window = self.GetPage(selected) |