Tasks/TaskViewer.py

changeset 6493
b64d6d0b4175
parent 6048
82ad8ec9548c
child 6494
72e3d61e5a20
diff -r a6c4169e7983 -r b64d6d0b4175 Tasks/TaskViewer.py
--- a/Tasks/TaskViewer.py	Sat Sep 01 17:54:47 2018 +0200
+++ b/Tasks/TaskViewer.py	Sun Sep 09 13:13:34 2018 +0200
@@ -854,6 +854,10 @@
                 lineIndex += 1
                 found = 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