equal
deleted
inserted
replaced
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 |