--- a/QScintilla/Editor.py Sun Nov 27 19:38:09 2011 +0100 +++ b/QScintilla/Editor.py Mon Nov 28 20:03:49 2011 +0100 @@ -3424,7 +3424,6 @@ Preferences.getEditor("OnlineSyntaxCheckInterval") * 1000) else: self.__onlineSyntaxCheckTimer.stop() - # refresh the annotations display self.__refreshAnnotations()