Debugger/StartDialog.py

changeset 3366
6084bb3c3911
parent 3190
a9a94491c4fd
child 3484
645c12de6b0c
equal deleted inserted replaced
3364:5dafcc891579 3366:6084bb3c3911
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 """

eric ide

mercurial