| commit | 5051f4f80dc001219218c49a5db4a37d821783a7 | [log] [tgz] |
|---|---|---|
| author | Guido van Rossum <guido@python.org> | Tue Jan 12 22:09:57 1999 +0000 |
| committer | Guido van Rossum <guido@python.org> | Tue Jan 12 22:09:57 1999 +0000 |
| tree | 6783ee419cd5cea509e9d50e38d2bf656be7989b | |
| parent | 5cc3129260e33c6a736c78a07f4df1b3cc06e206 [diff] |
Hack to close a window that is colorizing.