55 t = widget.whatsThis() |
55 t = widget.whatsThis() |
56 if t: |
56 if t: |
57 t += Utilities.getPercentReplacementHelp() |
57 t += Utilities.getPercentReplacementHelp() |
58 widget.setWhatsThis(t) |
58 widget.setWhatsThis(t) |
59 |
59 |
|
60 msh = self.minimumSizeHint() |
|
61 self.resize(max(self.width(), msh.width()), msh.height()) |
|
62 |
60 def getOptions(self): |
63 def getOptions(self): |
61 """ |
64 """ |
62 Public method used to retrieve the entered options. |
65 Public method used to retrieve the entered options. |
63 |
66 |
64 @return dictionary of strings giving the options for each supported |
67 @return dictionary of strings giving the options for each supported |