QScintilla/Editor.py

changeset 6493
b64d6d0b4175
parent 6481
9fd81275aaf2
child 6498
674ac2051e8a
--- a/QScintilla/Editor.py	Sat Sep 01 17:54:47 2018 +0200
+++ b/QScintilla/Editor.py	Sun Sep 09 13:13:34 2018 +0200
@@ -2626,6 +2626,10 @@
             lineIndex += 1
             shouldBreak = False
             
+            if line.endswith("__NO-TASK__"):
+                # ignore potential task marker
+                continue
+            
             for taskType, taskMarkers in markers.items():
                 for taskMarker in taskMarkers:
                     index = line.find(taskMarker)

eric ide

mercurial