260 self.ui.caseCheckBox.isChecked(), |
260 self.ui.caseCheckBox.isChecked(), |
261 self.ui.wordCheckBox.isChecked(), |
261 self.ui.wordCheckBox.isChecked(), |
262 lineFrom, indexFrom, lineTo, indexTo) |
262 lineFrom, indexFrom, lineTo, indexTo) |
263 while ok: |
263 while ok: |
264 tgtPos, tgtLen = aw.getFoundTarget() |
264 tgtPos, tgtLen = aw.getFoundTarget() |
|
265 if tgtLen == 0: |
|
266 break |
265 aw.setSearchIndicator(tgtPos, tgtLen) |
267 aw.setSearchIndicator(tgtPos, tgtLen) |
266 ok = aw.findNextTarget() |
268 ok = aw.findNextTarget() |
267 |
269 |
268 def __findNextPrev(self, txt, backwards): |
270 def __findNextPrev(self, txt, backwards): |
269 """ |
271 """ |