| commit | cfb819ee5168dd2d5c9c1bd237d8ac7d0e2278e2 | [log] [tgz] |
|---|---|---|
| author | Guido van Rossum <guido@python.org> | Tue Apr 20 15:00:00 1999 +0000 |
| committer | Guido van Rossum <guido@python.org> | Tue Apr 20 15:00:00 1999 +0000 |
| tree | 3951db9eae552fd5330237b097c161642c2237c7 | |
| parent | ad56dafd62baf60d6be28481154d1a69bb966ca3 [diff] |
Patch by Mark Favas: it fixes the search engine behaviour where an unsuccessful search wraps around and re-searches that part of the file between the start of the search and the end of the file - only really an issue for very large files, but... (also removes a redundant m.span() call).