]> granicus.if.org Git - python/commit
projects / python / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: ad56daf) | patch
Patch by Mark Favas: it fixes the search engine behaviour where an
authorGuido van Rossum <guido@python.org>
Tue, 20 Apr 1999 15:00:00 +0000 (15:00 +0000)
committerGuido van Rossum <guido@python.org>
Tue, 20 Apr 1999 15:00:00 +0000 (15:00 +0000)
commitcfb819ee5168dd2d5c9c1bd237d8ac7d0e2278e2
tree3951db9eae552fd5330237b097c161642c2237c7tree | snapshot
parentad56dafd62baf60d6be28481154d1a69bb966ca3commit | 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).
Tools/idle/SearchEngine.py diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.