RessourceEditor.py
changeset 654 f8445d00613d
parent 606 d65122c61eaf
child 655 435e2d8ee580
--- a/RessourceEditor.py	Sun Mar 18 15:35:07 2012 +0100
+++ b/RessourceEditor.py	Sun Mar 18 15:37:04 2012 +0100
@@ -46,12 +46,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
@@ -459,12 +457,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