changeset 654 | f8445d00613d |
parent 640 | c32c169b8f63 |
child 666 | d4bb66691248 |
--- a/DataTypeEditor.py Sun Mar 18 15:35:07 2012 +0100 +++ b/DataTypeEditor.py Sun Mar 18 15:37:04 2012 +0100 @@ -524,12 +524,10 @@ def Undo(self): self.Controler.LoadPrevious() self.ParentWindow.CloseTabsWithoutModel() - self.ParentWindow.RefreshEditor() def Redo(self): self.Controler.LoadNext() self.ParentWindow.CloseTabsWithoutModel() - self.ParentWindow.RefreshEditor() def HasNoModel(self): return self.Controler.GetEditedElement(self.TagName) is None