[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: font-lock-maximum-decoration should be 2 by default?
From: |
Vitalie Spinu |
Subject: |
Re: font-lock-maximum-decoration should be 2 by default? |
Date: |
Sun, 19 Aug 2012 12:50:14 +0200 |
User-agent: |
Gnus/5.130004 (Ma Gnus v0.4) Emacs/24.1.50 (gnu/linux) |
>> Jason Rumney <address@hidden>
>> on Sun, 19 Aug 2012 11:34:15 +0800 wrote:
> "Drew Adams" <address@hidden> writes:
>> Uh, where do you see ANYTHING there that supports the claim that "the"
reason
>> why the variable was _introduced_ in the first place was "to get snappier
>> display"?
> To have this suddenly become an issue in 2012 is somewhat of a surprise.
Issue in 2012 is unrelated to performance. And for some reason this
thread is drifting away from the original request.
The request was to set font-lock-maximum-decoration to 2, in order to
give to mode developers a much higher flexibility in choosing the
default highlighting, and providing users with higher optional levels
of fortification.
Setting it to t, or removing altogether, imposes one-side-fits-all
philosophy, which is absurd in the case of such a subjective matter as
font-lock.
Vitalie.
- Re: font-lock-maximum-decoration and how to make a default font-lock lower than maximal?, (continued)
- Re: 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 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 <=
- Re: font-lock-maximum-decoration should be 2 by default?, Eli Zaretskii, 2012/08/19
- 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?, Andreas Schwab, 2012/08/19
- Re: font-lock-maximum-decoration should be 2 by default?, Eli Zaretskii, 2012/08/19
- 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?, Vitalie Spinu, 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?, Vitalie Spinu, 2012/08/18
- Re: font-lock-maximum-decoration should be 2 by default?, Stefan Monnier, 2012/08/21
- Re: font-lock-maximum-decoration should be 2 by default?, Vitalie Spinu, 2012/08/22