Re: [PATCH] display search progress
On 2006-11-13 12:06:55 +0000, Rocco Rutte wrote:
> Another thing I'm not sure about: should we add something like
> $search_inc analogous to $read_inc and $write_inc? On fast systems with
> totally trivial searches it can be quite expensive to update the search
> progress for each single message...
Hmm... I now understand what you mean by that (my terminal doesn't
display everything, so I was wondering...). IMHO, the update of the
search progress should be time-based, e.g. every second should be
sufficient.
--
Vincent Lefèvre <vincent@xxxxxxxxxx> - Web: <http://www.vinc17.org/>
100% accessible validated (X)HTML - Blog: <http://www.vinc17.org/blog/>
Work: CR INRIA - computer arithmetic / Arenaire project (LIP, ENS-Lyon)