equal
deleted
inserted
replaced
522 return self.Controler.GetBufferState() |
522 return self.Controler.GetBufferState() |
523 |
523 |
524 def Undo(self): |
524 def Undo(self): |
525 self.Controler.LoadPrevious() |
525 self.Controler.LoadPrevious() |
526 self.ParentWindow.CloseTabsWithoutModel() |
526 self.ParentWindow.CloseTabsWithoutModel() |
527 self.ParentWindow.RefreshEditor() |
|
528 |
527 |
529 def Redo(self): |
528 def Redo(self): |
530 self.Controler.LoadNext() |
529 self.Controler.LoadNext() |
531 self.ParentWindow.CloseTabsWithoutModel() |
530 self.ParentWindow.CloseTabsWithoutModel() |
532 self.ParentWindow.RefreshEditor() |
|
533 |
531 |
534 def HasNoModel(self): |
532 def HasNoModel(self): |
535 return self.Controler.GetEditedElement(self.TagName) is None |
533 return self.Controler.GetEditedElement(self.TagName) is None |
536 |
534 |
537 def RefreshView(self): |
535 def RefreshView(self): |