Re: Global Font Lock by default

[Dan Nicolaescu]

address@hidden (Kim F. Storm) writes:

  > Chong Yidong <address@hidden> writes:
  > 
  > >>> Maybe we should have a --no-font-lock -nfl options....
  > >>
  > >> And it should definitely not be enabled if you use -D option.
  > >
  > > Why not just turn off font-lock when -D is on?
  > 
  > Can it be more simple than this:
  > 
  > (unless inhibit-global-font-lock
  >   (global-font-lock-mode t)
  >   (customize-mark-as-set 'global-font-lock-mode))

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? 

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