[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: font-lock-maximum-decoration and how to make a default font-lock low
From: |
Vitalie Spinu |
Subject: |
Re: font-lock-maximum-decoration and how to make a default font-lock lower than maximal? |
Date: |
Fri, 17 Aug 2012 16:42:31 +0200 |
User-agent: |
Gnus/5.130004 (Ma Gnus v0.4) Emacs/24.1.50 (gnu/linux) |
>> Eli Zaretskii <address@hidden>
>> on Fri, 17 Aug 2012 17:29:14 +0300 wrote:
>> From: Vitalie Spinu <address@hidden>
>> Date: Fri, 17 Aug 2012 14:29:12 +0200
>>
>> It looks to me that emacs should set font-lock-maximum-decoration to a
>> number instead to `t' by default. Then mode developers can easily decide
>> what font-lock to activate by default by setting appropriate keywords up
>> to that level only, and everything else on a higher level.
> I think it's not up to the mode developer to decide that. It's up to
> the user. So you as developer should provide all the fontifications
> your users may wish to have, and let them decide what to activate.
You mean "let them decide what to deactivate"? All levels are activated
by default (font-lock-maximum-decoration is t). And obviously some guys
(may be including the developer) don't like that.
Vitalie.
- font-lock-maximum-decoration and how to make a default font-lock lower than maximal?, Vitalie Spinu, 2012/08/17
- Re: font-lock-maximum-decoration and how to make a default font-lock lower than maximal?, Eli Zaretskii, 2012/08/17
- Re: font-lock-maximum-decoration and how to make a default font-lock lower than maximal?,
Vitalie Spinu <=
- RE: font-lock-maximum-decoration and how to make a defaultfont-lock lower than maximal?, Drew Adams, 2012/08/17
- Re: font-lock-maximum-decoration should be 2 by default?, Vitalie Spinu, 2012/08/17
- Re: font-lock-maximum-decoration should be 2 by default?, Eli Zaretskii, 2012/08/17
- RE: font-lock-maximum-decoration should be 2 by default?, Drew Adams, 2012/08/17
- Re: font-lock-maximum-decoration should be 2 by default?, Eli Zaretskii, 2012/08/18
- Re: font-lock-maximum-decoration should be 2 by default?, Jason Rumney, 2012/08/18
- RE: font-lock-maximum-decoration should be 2 by default?, Drew Adams, 2012/08/18
- Re: font-lock-maximum-decoration should be 2 by default?, Jason Rumney, 2012/08/18
- RE: font-lock-maximum-decoration should be 2 by default?, Drew Adams, 2012/08/19
- Re: font-lock-maximum-decoration should be 2 by default?, Vitalie Spinu, 2012/08/19