558 def OnSaveMenu(self, event): |
558 def OnSaveMenu(self, event): |
559 if getattr(self, "_onsave", None) != None: |
559 if getattr(self, "_onsave", None) != None: |
560 self._onsave() |
560 self._onsave() |
561 self.RefreshTitle() |
561 self.RefreshTitle() |
562 self.RefreshEditMenu() |
562 self.RefreshEditMenu() |
563 event.Skip() |
|
564 |
563 |
565 def RefreshTitle(self): |
564 def RefreshTitle(self): |
566 title = _("PythonEditor") |
565 title = _("PythonEditor") |
567 self.SetTitle("%s - %s"%(title, self.Controler.GetFilename())) |
566 self.SetTitle("%s - %s"%(title, self.Controler.GetFilename())) |
568 |
567 |
575 self.EditMenu.Enable(wx.ID_UNDO, undo) |
574 self.EditMenu.Enable(wx.ID_UNDO, undo) |
576 self.EditMenu.Enable(wx.ID_REDO, redo) |
575 self.EditMenu.Enable(wx.ID_REDO, redo) |
577 |
576 |
578 def OnRefreshMenu(self, event): |
577 def OnRefreshMenu(self, event): |
579 self.PythonEdited.RefreshView() |
578 self.PythonEdited.RefreshView() |
580 event.Skip() |
|
581 |
579 |
582 def OnUndoMenu(self, event): |
580 def OnUndoMenu(self, event): |
583 self.Controler.LoadPrevious() |
581 self.Controler.LoadPrevious() |
584 self.PythonEdited.RefreshView() |
582 self.PythonEdited.RefreshView() |
585 self.RefreshTitle() |
583 self.RefreshTitle() |
586 self.RefreshEditMenu() |
584 self.RefreshEditMenu() |
587 event.Skip() |
|
588 |
585 |
589 def OnRedoMenu(self, event): |
586 def OnRedoMenu(self, event): |
590 self.Controler.LoadNext() |
587 self.Controler.LoadNext() |
591 self.PythonEdited.RefreshView() |
588 self.PythonEdited.RefreshView() |
592 self.RefreshTitle() |
589 self.RefreshTitle() |
593 self.RefreshEditMenu() |
590 self.RefreshEditMenu() |
594 event.Skip() |
591 |
595 |
592 |