QScintilla/Editor.py

changeset 1474
1eaec11a0078
parent 1406
e2f1634cceed
child 1491
985c5abc8226
--- 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()

eric ide

mercurial