diff -r 71b57ed5223b -r f8445d00613d RessourceEditor.py --- 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