Preferences/ViewProfileDialog.py

changeset 3366
6084bb3c3911
parent 3160
209a07d7e401
child 3484
645c12de6b0c
--- a/Preferences/ViewProfileDialog.py	Wed Mar 12 19:54:14 2014 +0100
+++ b/Preferences/ViewProfileDialog.py	Thu Mar 13 19:21:25 2014 +0100
@@ -52,6 +52,9 @@
             self.ui.dpltCheckBox.setChecked(debugVisibilities[0])
             self.ui.dphtCheckBox.setChecked(debugVisibilities[1])
             self.ui.dprtCheckBox.setChecked(debugVisibilities[2])
+        
+        msh = self.minimumSizeHint()
+        self.resize(max(self.width(), msh.width()), msh.height())
     
     def getVisibilities(self):
         """

eric ide

mercurial