Re: 15 seconds to fontify index

[David Kastrup <dak@gnu.org>]

Eli Zaretskii <eliz@gnu.org> writes:

>> From: Chong Yidong <cyd@stupidchicken.com>
>> Date: Mon, 02 Apr 2007 00:30:14 -0400
>> 
>> For post-22, we definitely want to rewrite Info to use font-lock.
>
> IMHO, just waiting for machines to become faster will consume much
> less energy (freeing our scarce resources for more important work),
> with the same net result.

At the same time machines become faster, the documents get larger.
Computers have become obscenely more powerful than 40 years ago, yet
their speed still determines the work one can get done.

> Anyway, if you think it's a worthwhile job, please add it to
> etc/TODO, otherwise it will surely get forgotten.

Agreed.

-- 
David Kastrup