[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: font-lock-maximum-decoration and how to make a default font-lock low
From: |
Eli Zaretskii |
Subject: |
Re: font-lock-maximum-decoration and how to make a default font-lock lower than maximal? |
Date: |
Fri, 17 Aug 2012 20:36:27 +0300 |
> From: Vitalie Spinu <address@hidden>
> Cc: address@hidden
> Date: Fri, 17 Aug 2012 16:42:31 +0200
>
> > I think it's not up to the mode developer to decide that. It's up to
> > the user. So you as developer should provide all the fontifications
> > your users may wish to have, and let them decide what to activate.
>
> You mean "let them decide what to deactivate"?
Yes (but in English this is the same thing).
> All levels are activated by default (font-lock-maximum-decoration is
> t). And obviously some guys (may be including the developer) don't
> like that.
The developer, acting as a user, is free to customize his/her Emacs to
their heart's content.
- 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/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
- Re: font-lock-maximum-decoration should be 2 by default?, Stephen J. Turnbull, 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?, Stephen J. Turnbull, 2012/08/19
- Re: font-lock-maximum-decoration and how to make a default font-lock lower than maximal?,
Eli Zaretskii <=
Re: font-lock-maximum-decoration and how to make a default font-lock lower than maximal?, Stefan Monnier, 2012/08/21