QScintilla/Editor.py

changeset 4382
a65947c8832d
parent 4376
7847a37ee71d
child 4385
599681bf149a
diff -r d79c055a12cc -r a65947c8832d QScintilla/Editor.py
--- a/QScintilla/Editor.py	Sat Aug 22 17:15:01 2015 +0200
+++ b/QScintilla/Editor.py	Sun Aug 23 11:00:13 2015 +0200
@@ -1671,8 +1671,6 @@
         """
         if not m and self.fileName is not None:
             self.lastModified = QFileInfo(self.fileName).lastModified()
-        if Preferences.getEditor("AutoCheckSyntax"):
-            self.clearSyntaxError()
         self.modificationStatusChanged.emit(m, self)
         self.undoAvailable.emit(self.isUndoAvailable())
         self.redoAvailable.emit(self.isRedoAvailable())

eric ide

mercurial