diff -r 71b57ed5223b -r f8445d00613d Viewer.py --- a/Viewer.py Sun Mar 18 15:35:07 2012 +0100 +++ b/Viewer.py Sun Mar 18 15:37:04 2012 +0100 @@ -835,14 +835,12 @@ if not self.Debug: self.Controler.LoadPrevious() self.ParentWindow.CloseTabsWithoutModel() - self.ParentWindow.RefreshEditor() def Redo(self): if not self.Debug: self.Controler.LoadNext() self.ParentWindow.CloseTabsWithoutModel() - self.ParentWindow.RefreshEditor() - + def HasNoModel(self): if not self.Debug: return self.Controler.GetEditedElement(self.TagName) is None