[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: |
Eli Zaretskii |
Subject: |
Re: font-lock-maximum-decoration should be 2 by default? |
Date: |
Sat, 18 Aug 2012 09:59:31 +0300 |
> From: "Drew Adams" <address@hidden>
> Cc: <address@hidden>
> Date: Fri, 17 Aug 2012 13:53:44 -0700
>
> > > Interesting. I am curious of reasons for that.
> >
> > Performance. You don't gain much by omitting some fontifications
> > nowadays. The variable was introduced to get snappier redisplay;
> > since the need for that is no longer valid, the default was set to t.
>
> Do you have any proof of that being _the_ reason it was introduced: just for
> performance?
No proof, just my faulty memory.
- 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, 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 <=
- 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
- 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