--- a/editors/TextViewer.py Thu May 09 18:49:08 2013 +0200
+++ b/editors/TextViewer.py Thu May 09 19:36:37 2013 +0200
@@ -547,7 +547,8 @@
self.SetStyling(current_pos - last_styled_pos, 31)
last_styled_pos = current_pos
self.RefreshLineFolding(line_number)
@@ -579,7 +580,7 @@
- self.SetStyling(current_pos - last_styled_pos + 2, 31)
+ self.SetStyling(current_pos - last_styled_pos + 1, 31) last_styled_pos = current_pos + 1
elif (line.endswith("'") or line.endswith('"')) and state not in [STRING, WSTRING]: