--- 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.