| commit | 119749b7d7f25afafb0a2850173966a9752448fe | [log] [tgz] |
|---|---|---|
| author | Guido van Rossum <guido@python.org> | Fri Jul 08 14:28:38 1994 +0000 |
| committer | Guido van Rossum <guido@python.org> | Fri Jul 08 14:28:38 1994 +0000 |
| tree | e84e155c7b85c1349c519247f09626fd34fe5c6a | |
| parent | 7d5e4217ef0ce654572dc6f0efcf3d6db4a172d6 [diff] |
Adapted to new async ManPage interface (kill, busy); Added case sensitive searching; Added explicit buttons for man page display and search (in addition to <Return> and double clicking in the listbox)