Tasks/TaskFilterConfigDialog.py

changeset 3366
6084bb3c3911
parent 3190
a9a94491c4fd
child 3484
645c12de6b0c
equal deleted inserted replaced
3364:5dafcc891579 3366:6084bb3c3911
89 0 in taskFilter.prioritiesFilter) 89 0 in taskFilter.prioritiesFilter)
90 self.priorityNormalCheckBox.setChecked( 90 self.priorityNormalCheckBox.setChecked(
91 1 in taskFilter.prioritiesFilter) 91 1 in taskFilter.prioritiesFilter)
92 self.priorityLowCheckBox.setChecked( 92 self.priorityLowCheckBox.setChecked(
93 2 in taskFilter.prioritiesFilter) 93 2 in taskFilter.prioritiesFilter)
94
95 msh = self.minimumSizeHint()
96 self.resize(max(self.width(), msh.width()), msh.height())
94 97
95 def configureTaskFilter(self, taskFilter): 98 def configureTaskFilter(self, taskFilter):
96 """ 99 """
97 Public method to set the parameters of the task filter object. 100 Public method to set the parameters of the task filter object.
98 101

eric ide

mercurial