[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: Global Font Lock by default

From: Eli Zaretskii
Subject: Re: Global Font Lock by default
Date: Tue, 01 Nov 2005 21:57:48 +0200

> 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.

reply via email to

[Prev in Thread] Current Thread [Next in Thread]