25 """ |
25 """ |
26 Class implementing the search and replace widget. |
26 Class implementing the search and replace widget. |
27 |
27 |
28 @signal searchListChanged emitted to indicate a change of the search list |
28 @signal searchListChanged emitted to indicate a change of the search list |
29 """ |
29 """ |
|
30 searchListChanged = pyqtSignal() |
|
31 |
30 def __init__(self, replace, vm, parent = None): |
32 def __init__(self, replace, vm, parent = None): |
31 """ |
33 """ |
32 Constructor |
34 Constructor |
33 |
35 |
34 @param replace flag indicating a replace widget is called |
36 @param replace flag indicating a replace widget is called |
178 if txt in self.findHistory: |
180 if txt in self.findHistory: |
179 self.findHistory.remove(txt) |
181 self.findHistory.remove(txt) |
180 self.findHistory.insert(0, txt) |
182 self.findHistory.insert(0, txt) |
181 self.ui.findtextCombo.clear() |
183 self.ui.findtextCombo.clear() |
182 self.ui.findtextCombo.addItems(self.findHistory) |
184 self.ui.findtextCombo.addItems(self.findHistory) |
183 self.emit(SIGNAL('searchListChanged')) |
185 self.searchListChanged.emit() |
184 |
186 |
185 ok = self.__findNextPrev(txt, False) |
187 ok = self.__findNextPrev(txt, False) |
186 if ok: |
188 if ok: |
187 if self.replace: |
189 if self.replace: |
188 self.ui.replaceButton.setEnabled(True) |
190 self.ui.replaceButton.setEnabled(True) |
213 if txt in self.findHistory: |
215 if txt in self.findHistory: |
214 self.findHistory.remove(txt) |
216 self.findHistory.remove(txt) |
215 self.findHistory.insert(0, txt) |
217 self.findHistory.insert(0, txt) |
216 self.ui.findtextCombo.clear() |
218 self.ui.findtextCombo.clear() |
217 self.ui.findtextCombo.addItems(self.findHistory) |
219 self.ui.findtextCombo.addItems(self.findHistory) |
218 self.emit(SIGNAL('searchListChanged')) |
220 self.searchListChanged.emit() |
219 |
221 |
220 ok = self.__findNextPrev(txt, True) |
222 ok = self.__findNextPrev(txt, True) |
221 if ok: |
223 if ok: |
222 if self.replace: |
224 if self.replace: |
223 self.ui.replaceButton.setEnabled(True) |
225 self.ui.replaceButton.setEnabled(True) |