--- a/eric6/Tasks/TaskViewer.py Wed Aug 12 17:10:50 2020 +0200 +++ b/eric6/Tasks/TaskViewer.py Thu Aug 13 16:59:03 2020 +0200 @@ -694,11 +694,8 @@ @type bool """ markers = { - Task.TypeWarning: - Preferences.getTasks("TasksWarningMarkers").split(), - Task.TypeNote: Preferences.getTasks("TasksNoteMarkers").split(), - Task.TypeTodo: Preferences.getTasks("TasksTodoMarkers").split(), - Task.TypeFixme: Preferences.getTasks("TasksFixmeMarkers").split(), + taskType: Preferences.getTasks(markersName).split() + for taskType, markersName in Task.TaskType2MarkersName.items() } files = self.project.pdata["SOURCES"]