--- a/eric6/Documentation/Source/eric6.Tasks.TaskFilter.html Sun May 02 15:09:14 2021 +0200 +++ b/eric6/Documentation/Source/eric6.Tasks.TaskFilter.html Sun May 02 15:09:29 2021 +0200 @@ -173,9 +173,9 @@ </p> <dl> -<dt><i>priorities</i></dt> +<dt><i>priorities</i> (list of TaskPriority or None)</dt> <dd> -list of task priorities (list of integer) or None +list of task priorities or None </dd> </dl> <a NAME="TaskFilter.setScopeFilter" ID="TaskFilter.setScopeFilter"></a> @@ -230,10 +230,9 @@ </p> <dl> -<dt><i>taskType</i></dt> +<dt><i>taskType</i> (TaskType)</dt> <dd> -type of the task (one of Task.TypeNone, Task.TypeFixme, - Task.TypeTodo, Task.TypeWarning, Task.TypeNote) +type of the task </dd> </dl> <a NAME="TaskFilter.showTask" ID="TaskFilter.showTask"></a>