Tasks/TaskFilter.py

changeset 3039
8dd0165d805d
parent 2997
7f0ef975da9e
child 3060
5883ce99ee12
child 3160
209a07d7e401
equal deleted inserted replaced
3038:7fe9a53280bd 3039:8dd0165d805d
102 Public method to check for active filters. 102 Public method to check for active filters.
103 103
104 @return flag indicating an active filter was found (boolean) 104 @return flag indicating an active filter was found (boolean)
105 """ 105 """
106 return self.summaryFilter is not None or \ 106 return self.summaryFilter is not None or \
107 self.filenameFilter is not None or \ 107 self.filenameFilter is not None or \
108 self.typeFilter != Task.TypeNone or \ 108 self.typeFilter != Task.TypeNone or \
109 self.scopeFilter is not None or \ 109 self.scopeFilter is not None or \
110 self.statusFilter is not None or \ 110 self.statusFilter is not None or \
111 self.prioritiesFilter is not None 111 self.prioritiesFilter is not None
112 112
113 def showTask(self, task): 113 def showTask(self, task):
114 """ 114 """
115 Public method to check, if a task should be shown. 115 Public method to check, if a task should be shown.
116 116

eric ide

mercurial