Tasks/TaskViewer.py

changeset 6494
72e3d61e5a20
parent 6493
b64d6d0b4175
child 6645
ad476851d7e0
equal deleted inserted replaced
6493:b64d6d0b4175 6494:72e3d61e5a20
739 lineIndex = 0 739 lineIndex = 0
740 for line in lines: 740 for line in lines:
741 lineIndex += 1 741 lineIndex += 1
742 shouldBreak = False 742 shouldBreak = False
743 743
744 if line.endswith("__NO-TASK__"):
745 # ignore potential task marker
746 continue
747
744 for taskType, taskMarkers in markers.items(): 748 for taskType, taskMarkers in markers.items():
745 for taskMarker in taskMarkers: 749 for taskMarker in taskMarkers:
746 index = line.find(taskMarker) 750 index = line.find(taskMarker)
747 if index > -1: 751 if index > -1:
748 task = line[index:] 752 task = line[index:]

eric ide

mercurial