Project/UserPropertiesDialog.py

changeset 3366
6084bb3c3911
parent 3160
209a07d7e401
child 3484
645c12de6b0c
--- a/Project/UserPropertiesDialog.py	Wed Mar 12 19:54:14 2014 +0100
+++ b/Project/UserPropertiesDialog.py	Thu Mar 13 19:21:25 2014 +0100
@@ -70,6 +70,9 @@
             if index == -1:
                 index = 0
             self.vcsInterfaceCombo.setCurrentIndex(index)
+        
+        msh = self.minimumSizeHint()
+        self.resize(max(self.width(), msh.width()), msh.height())
 
     def storeData(self):
         """

eric ide

mercurial