156 self.tr('Find Prev'), |
156 self.tr('Find Prev'), |
157 0, 0, self, 'search_widget_find_prev') |
157 0, 0, self, 'search_widget_find_prev') |
158 self.findPrevAct.triggered.connect(self.on_findPrevButton_clicked) |
158 self.findPrevAct.triggered.connect(self.on_findPrevButton_clicked) |
159 self.findPrevAct.setEnabled(False) |
159 self.findPrevAct.setEnabled(False) |
160 self.ui.findtextCombo.addAction(self.findPrevAct) |
160 self.ui.findtextCombo.addAction(self.findPrevAct) |
|
161 |
|
162 self.ensurePolished() |
|
163 msh = self.minimumSizeHint() |
|
164 self.resize(max(self.width(), msh.width()), |
|
165 max(self.height(), msh.height()) |
|
166 ) |
161 |
167 |
162 self.havefound = False |
168 self.havefound = False |
163 self.__pos = None |
169 self.__pos = None |
164 self.__findBackwards = False |
170 self.__findBackwards = False |
165 self.__selections = [] |
171 self.__selections = [] |