DataTypeEditor.py
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