TextViewer.py
changeset 654 f8445d00613d
parent 619 fc03645162b5
child 671 47b9ad1471cc
--- a/TextViewer.py	Sun Mar 18 15:35:07 2012 +0100
+++ b/TextViewer.py	Sun Mar 18 15:37:04 2012 +0100
@@ -397,14 +397,12 @@
         if not self.Debug and self.TextSyntax != "ALL":
             self.Controler.LoadPrevious()
             self.ParentWindow.CloseTabsWithoutModel()
-            self.ParentWindow.RefreshEditor()
             
     def Redo(self):
         if not self.Debug and self.TextSyntax != "ALL":
             self.Controler.LoadNext()
             self.ParentWindow.CloseTabsWithoutModel()
-            self.ParentWindow.RefreshEditor()
-    
+        
     def HasNoModel(self):
         if not self.Debug and self.TextSyntax != "ALL":
             return self.Controler.GetEditedElement(self.TagName) is None
@@ -600,7 +598,7 @@
                     self.SetStyling(current_pos - last_styled_pos, 31)
                     last_styled_pos = current_pos
                     state = NUMBER
-                if state == WORD and char != '.':
+                elif state == WORD and char != '.':
                     word += char
             elif char == '(' and state == SPACE:
                 self.CallStack.append(current_call)