[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: |
Andreas Schwab |
Subject: |
Re: font-lock-maximum-decoration should be 2 by default? |
Date: |
Sun, 19 Aug 2012 12:34:48 +0200 |
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/24.1 (gnu/linux) |
Jason Rumney <address@hidden> writes:
> In this case, not faulty:
>
> *** lisp/font-lock.el 1997-02-21 09:36:18 +0000
> --- lisp/font-lock.el 1997-03-15 13:19:12 +0000
> ***************
> *** 190,196 ****
> If a number, only buffers greater than this size have fontification
> messages.")
>
> ;;;###autoload
> ! (defvar font-lock-maximum-decoration nil
> "*Maximum decoration level for fontification.
> If nil, use the default decoration (typically the minimum available).
> If t, use the maximum decoration available.
> --- 190,196 ----
> If a number, only buffers greater than this size have fontification
> messages.")
>
> ;;;###autoload
> ! (defvar font-lock-maximum-decoration t
> "*Maximum decoration level for fontification.
> If nil, use the default decoration (typically the minimum available).
> If t, use the maximum decoration available.
> ***************
That looks rather like an accident.
Andreas.
--
Andreas Schwab, address@hidden
GPG Key fingerprint = 58CA 54C7 6D53 942B 1756 01D3 44D5 214B 8276 4ED5
"And now for something completely different."
- Re: font-lock-maximum-decoration should be 2 by default?, (continued)
- 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, 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 <=
- 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
- Re: font-lock-maximum-decoration should be 2 by default?, Stephen J. Turnbull, 2012/08/18
- Re: font-lock-maximum-decoration should be 2 by default?, Vitalie Spinu, 2012/08/18