QScintilla/Editor.py

changeset 30
9513afbd57f1
parent 15
f6ccc31d6e72
child 45
9a18f4dbb493
diff -r 391dc0bc4ae5 -r 9513afbd57f1 QScintilla/Editor.py
--- a/QScintilla/Editor.py	Thu Jan 07 13:13:31 2010 +0000
+++ b/QScintilla/Editor.py	Thu Jan 07 13:42:05 2010 +0000
@@ -3867,6 +3867,10 @@
                 os.path.isfile("%s.coverage" % basename) or \
                 os.path.isfile("%s.coverage" % tbasename)
         
+        # now check for syntax errors
+        if self.hasSyntaxErrors():
+            coEnable = False
+        
         self.profileMenuAct.setEnabled(prEnable)
         self.coverageMenuAct.setEnabled(coEnable)
         self.coverageShowAnnotationMenuAct.setEnabled(\
@@ -5322,4 +5326,4 @@
         word = self.getWord(line, index)
         self.spell.ignoreAlways(word)
         if Preferences.getEditor("AutoSpellCheckingEnabled"):
-            self.spell.checkDocumentIncrementally()
\ No newline at end of file
+            self.spell.checkDocumentIncrementally()

eric ide

mercurial