Tasks/TaskFilterConfigDialog.py

changeset 3366
6084bb3c3911
parent 3190
a9a94491c4fd
child 3484
645c12de6b0c
--- a/Tasks/TaskFilterConfigDialog.py	Wed Mar 12 19:54:14 2014 +0100
+++ b/Tasks/TaskFilterConfigDialog.py	Thu Mar 13 19:21:25 2014 +0100
@@ -91,6 +91,9 @@
                 1 in taskFilter.prioritiesFilter)
             self.priorityLowCheckBox.setChecked(
                 2 in taskFilter.prioritiesFilter)
+        
+        msh = self.minimumSizeHint()
+        self.resize(max(self.width(), msh.width()), msh.height())
     
     def configureTaskFilter(self, taskFilter):
         """

eric ide

mercurial