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