--- 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