[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: |
Sun, 19 Aug 2012 19:46:24 +0300 |
> From: "Drew Adams" <address@hidden>
> Cc: <address@hidden>, <address@hidden>
> Date: Sat, 18 Aug 2012 20:13:27 -0700
>
> 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"?
There's at least a hint in this commentary at the beginning of
font-lock.el:
;; Fontification for a particular mode may be available in a number of levels
;; of decoration. The higher the level, the more decoration, but the more time
;; it takes to fontify. See the variable `font-lock-maximum-decoration', and
;; also the variable `font-lock-maximum-size'. Support modes for Font Lock
;; mode can be used to speed up Font Lock mode. See `font-lock-support-mode'.
- RE: font-lock-maximum-decoration and how to make a defaultfont-lock lower than maximal?, (continued)
- 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
- 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/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
- RE: font-lock-maximum-decoration should be 2 by default?, Drew Adams, 2012/08/26