--- a/eric6/Tasks/TaskFilter.py Thu Sep 19 19:22:43 2019 +0200 +++ b/eric6/Tasks/TaskFilter.py Thu Sep 19 19:39:04 2019 +0200 @@ -29,13 +29,13 @@ # task type self.scopeFilter = None - # global (False) or project (True) + ## global (False) or project (True) self.statusFilter = None - # uncompleted (False) or completed (True) + ## uncompleted (False) or completed (True) self.prioritiesFilter = None - # list of priorities [0 (high), 1 (normal), 2 (low)] + ## list of priorities [0 (high), 1 (normal), 2 (low)] def setActive(self, enabled): """