Re: Global Font Lock by default

[Eli Zaretskii]

> From: Dan Nicolaescu <address@hidden>
> Date: Tue, 01 Nov 2005 07:10:07 -0800
> Cc: Chong Yidong <address@hidden>, address@hidden
> 
> Both versions should work, it's just a matter of deciding when is
> better to turn on global-font-lock-mode: at run time or at dump time.
> Opinions? 

My preference is to turn it on at startup time (however, you can load
it at dump time).  There's no sense in using colors at dump time, and
doing so might even do harm if the color-related environment changes
between dump and startup time.

> (I'm inclined to believe is better to do as much work as possible at
> dump time)

In this case, this extra work is useless, IMHO.