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