diff -r 7015247cbb05 -r 17d03699f151 eric6/Tasks/TaskFilter.py
--- a/eric6/Tasks/TaskFilter.py Sun May 02 10:59:00 2021 +0200
+++ b/eric6/Tasks/TaskFilter.py Sun May 02 15:09:14 2021 +0200
@@ -35,7 +35,7 @@
#- not completed (False) or completed (True)
self.prioritiesFilter = None
- #- list of priorities [0 (high), 1 (normal), 2 (low)]
+ #- list of priorities
def setActive(self, enabled):
"""
@@ -95,7 +95,8 @@
"""
Public method to set the priorities filter.
- @param priorities list of task priorities (list of integer) or None
+ @param priorities list of task priorities or None
+ @type list of TaskPriority or None
"""
self.prioritiesFilter = priorities
