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