<br><div class="gmail_quote">On Dec 12, 2007 4:18 AM, Valery V. Vorotyntsev <<a href="mailto:valery.vv@gmail.com">valery.vv@gmail.com</a>> wrote:<br><blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;">
Wed Dec 12 11:02:56 EET 2007 "Valery V. Vorotyntsev" <<a href="mailto:valery.vv@gmail.com">valery.vv@gmail.com</a>><br> * Man.hs: input speedup<br><br> Descend manpage directories once -- when `manPrompt' is called.
<br> (Previous version used to search directories upon each character<br> arrival.)<br></blockquote><br>Applied.<br></div><br>