Viewer.py
changeset 654 f8445d00613d
parent 652 676307069508
child 658 89d20745b061
equal deleted inserted replaced
653:71b57ed5223b 654:f8445d00613d
   833     
   833     
   834     def Undo(self):
   834     def Undo(self):
   835         if not self.Debug:
   835         if not self.Debug:
   836             self.Controler.LoadPrevious()
   836             self.Controler.LoadPrevious()
   837             self.ParentWindow.CloseTabsWithoutModel()
   837             self.ParentWindow.CloseTabsWithoutModel()
   838             self.ParentWindow.RefreshEditor()
       
   839             
   838             
   840     def Redo(self):
   839     def Redo(self):
   841         if not self.Debug:
   840         if not self.Debug:
   842             self.Controler.LoadNext()
   841             self.Controler.LoadNext()
   843             self.ParentWindow.CloseTabsWithoutModel()
   842             self.ParentWindow.CloseTabsWithoutModel()
   844             self.ParentWindow.RefreshEditor()
   843         
   845     
       
   846     def HasNoModel(self):
   844     def HasNoModel(self):
   847         if not self.Debug:
   845         if not self.Debug:
   848             return self.Controler.GetEditedElement(self.TagName) is None
   846             return self.Controler.GetEditedElement(self.TagName) is None
   849         return False
   847         return False
   850     
   848