QScintilla/Editor.py

changeset 723
49ef401db2ce
parent 718
979d6e242404
child 726
57d1efea16e0
diff -r 9dd401431fcc -r 49ef401db2ce QScintilla/Editor.py
--- a/QScintilla/Editor.py	Mon Nov 15 19:54:38 2010 +0100
+++ b/QScintilla/Editor.py	Tue Nov 16 08:42:14 2010 +0100
@@ -4097,7 +4097,9 @@
                                     continue
                                 
                                 _fn, lineno, message = warning.getMessageData()
-                                self.toggleFlakesWarning(lineno, True, message)
+                                if not self.text(lineno - 1).strip()\
+                                   .endswith("__IGNORE_WARNING__"):
+                                    self.toggleFlakesWarning(lineno, True, message)
                         except SyntaxError as err:
                             if err.text.strip():
                                 msg = err.text.strip()

eric ide

mercurial