[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Turning off colorization
From: |
Alan Mackenzie |
Subject: |
Re: Turning off colorization |
Date: |
Thu, 6 Nov 2014 16:03:27 +0000 |
User-agent: |
Mutt/1.5.21 (2010-09-15) |
Hello, Stefan.
On Thu, Nov 06, 2014 at 10:26:33AM -0500, Stefan Monnier wrote:
> > I have to admit that one to be puzzling to me. Why would one remove an
> > option from the menus because its default has changed?
> The reason why we added it to the menu is because "everyone" wanted to
> enable it, so we wanted to make it as easy as possible.
> OTOH I find it is rather rare for people to want to disable
> font-lock-mode (or jit-lock-mode for that matter).
It's not that rare for me. I do it to make it less difficult to
diagnose bugs in font-locking. Disabling font-lock-mode and setting
font-lock-support-mode to nil is a normal thing to do.
> To the point that it has crossed my mind a few times that maybe
> a redesign of the code is in order: get rid of the font-lock-mode minor
> mode, set fontification-functions globally (i.e. enable jit-lock in all
> buffers) and have it call font-lock-set-defaults.
You're trolling, right? ;-)
> Stefan
--
Alan Mackenzie (Nuremberg, Germany).
- Re: Turning off colorization, (continued)
- Re: Turning off colorization, Tassilo Horn, 2014/11/05
- Re: Turning off colorization, Yoni Rabkin, 2014/11/05
- Re: Turning off colorization, James Cloos, 2014/11/05
- Re: Turning off colorization, Richard Stallman, 2014/11/05
- Re: Turning off colorization, James Cloos, 2014/11/05
- Re: Turning off colorization, David Kastrup, 2014/11/06
- Re: Turning off colorization, Stefan Monnier, 2014/11/06
- Re: Turning off colorization,
Alan Mackenzie <=
- Re: Turning off colorization, Stefan Monnier, 2014/11/06
- Re: Turning off colorization, Richard Stallman, 2014/11/07
- Re: Turning off colorization, Stefan Monnier, 2014/11/07
- Re: Turning off colorization, Richard Stallman, 2014/11/08
- Re: Turning off colorization, Stefan Monnier, 2014/11/08
- Re: Turning off colorization, Richard Stallman, 2014/11/09
- Re: Turning off colorization, Richard Stallman, 2014/11/07
- Re: Turning off colorization, Stefan Monnier, 2014/11/05
- Re: Turning off colorization, N. Jackson, 2014/11/06
- Re: Turning off colorization, Tim Cross, 2014/11/06