Tasks/TaskFilter.py

changeset 3621
15f23ed3f216
parent 3178
f25fc1364c88
child 3656
441956d8fce5
--- a/Tasks/TaskFilter.py	Fri May 30 13:17:20 2014 +0200
+++ b/Tasks/TaskFilter.py	Fri May 30 15:16:40 2014 +0200
@@ -26,12 +26,17 @@
         
         self.summaryFilter = None
         self.filenameFilter = None
-        self.typeFilter = Task.TypeNone     # task type
-        self.scopeFilter = None             # global (False) or project (True)
-        self.statusFilter = None            # uncompleted (False) or
-                                            # completed (True)
-        self.prioritiesFilter = None        # list of priorities
-                                            # [0 (high), 1 (normal), 2 (low)]
+        self.typeFilter = Task.TypeNone
+        # task type
+        
+        self.scopeFilter = None
+        # global (False) or project (True)
+        
+        self.statusFilter = None
+        # uncompleted (False) or completed (True)
+        
+        self.prioritiesFilter = None
+        # list of priorities [0 (high), 1 (normal), 2 (low)]
     
     def setActive(self, enabled):
         """
@@ -143,7 +148,7 @@
             return False
         
         if self.prioritiesFilter is not None and \
-           not task.priority in self.prioritiesFilter:
+           task.priority not in self.prioritiesFilter:
             return False
         
         return True

eric ide

mercurial