114 if type == 3: # start coverage or profile dialog |
114 if type == 3: # start coverage or profile dialog |
115 self.ui.eraseCheckBox.setChecked(True) |
115 self.ui.eraseCheckBox.setChecked(True) |
116 |
116 |
117 self.__clearHistoryLists = False |
117 self.__clearHistoryLists = False |
118 |
118 |
|
119 msh = self.minimumSizeHint() |
|
120 self.resize(max(self.width(), msh.width()), msh.height()) |
|
121 |
119 @pyqtSlot() |
122 @pyqtSlot() |
120 def on_dirButton_clicked(self): |
123 def on_dirButton_clicked(self): |
121 """ |
124 """ |
122 Private method used to open a directory selection dialog. |
125 Private method used to open a directory selection dialog. |
123 """ |
126 """ |