--- a/editors/CodeFileEditor.py Thu Aug 17 16:26:32 2017 +0300
+++ b/editors/CodeFileEditor.py Thu Aug 17 17:25:17 2017 +0300
@@ -575,8 +575,8 @@
def RemoveHighlight(self, start, end, highlight_type):
highlight_type = HIGHLIGHT_TYPES.get(highlight_type, None)
- if (highlight_type is not None and
- (start, end, highlight_type) in self.Highlights):
+ if highlight_type is not None and \
+ (start, end, highlight_type) in self.Highlights:
self.Highlights.remove((start, end, highlight_type))
self.RefreshHighlightsTimer.Start(int(REFRESH_HIGHLIGHT_PERIOD * 1000), oneShot=True)