[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: |
Fri, 17 Aug 2012 23:26:31 +0300 |
> From: Vitalie Spinu <address@hidden>
> Cc: "'Eli Zaretskii'" <address@hidden>, address@hidden
> Date: Fri, 17 Aug 2012 21:49:04 +0200
>
> > Yes, Emacs Dev concluded after many years that `t' is the most appropriate
> > default value.
>
> 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.
- 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 <=
- 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
- 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