Sat, 11 Jun 2011 19:13:00 +0200
Fixed a bug in the search & replace widget causing and endless loop [issue19].
QScintilla/SearchReplaceWidget.py | file | annotate | diff | comparison | revisions |
--- a/QScintilla/SearchReplaceWidget.py Sat Jun 11 18:41:03 2011 +0200 +++ b/QScintilla/SearchReplaceWidget.py Sat Jun 11 19:13:00 2011 +0200 @@ -263,6 +263,8 @@ lineFrom, indexFrom, lineTo, indexTo) while ok: tgtPos, tgtLen = aw.getFoundTarget() + if tgtLen == 0: + break aw.setSearchIndicator(tgtPos, tgtLen) ok = aw.findNextTarget()