Tasks/TaskViewer.py

changeset 6494
72e3d61e5a20
parent 6493
b64d6d0b4175
child 6645
ad476851d7e0
--- a/Tasks/TaskViewer.py	Sun Sep 09 13:13:34 2018 +0200
+++ b/Tasks/TaskViewer.py	Sun Sep 09 19:30:54 2018 +0200
@@ -741,6 +741,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