| commit | e62e76c38322ebb88bcf54a933a07291d9e7c5ba | [log] [tgz] |
|---|---|---|
| author | Guido van Rossum <guido@python.org> | Thu Apr 22 13:38:40 1999 +0000 |
| committer | Guido van Rossum <guido@python.org> | Thu Apr 22 13:38:40 1999 +0000 |
| tree | 27f9d2bf40c2fac433ccb2a22687f5f0035f49dd | |
| parent | 693a2c65812eb61a87cacf1a23b83db35bbf9552 [diff] |
Super-elegant patch by Tim Peters that speeds up colorization dramatically (up to 15 times he claims). Works by reading more than one line at a time, up to 100-line chunks (starting with one line and then doubling up to the limit). On a typical machine (e.g. Tim's P5-166) this doesn't reduce interactive responsiveness in a noticeable way.