VCS/CommandOptionsDialog.py

changeset 3366
6084bb3c3911
parent 3160
209a07d7e401
child 3484
645c12de6b0c
--- a/VCS/CommandOptionsDialog.py	Wed Mar 12 19:54:14 2014 +0100
+++ b/VCS/CommandOptionsDialog.py	Thu Mar 13 19:21:25 2014 +0100
@@ -57,6 +57,9 @@
                 t += Utilities.getPercentReplacementHelp()
                 widget.setWhatsThis(t)
         
+        msh = self.minimumSizeHint()
+        self.resize(max(self.width(), msh.width()), msh.height())
+        
     def getOptions(self):
         """
         Public method used to retrieve the entered options.

eric ide

mercurial