[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Turning off colorization
From: |
Richard Stallman |
Subject: |
Re: Turning off colorization |
Date: |
Sat, 08 Nov 2014 01:44:31 -0500 |
[[[ To any NSA and FBI agents reading my email: please consider ]]]
[[[ whether defending the US Constitution against all enemies, ]]]
[[[ foreign or domestic, requires you to follow Snowden's example. ]]]
> > That seems like a bug. Perhaps something is setting face properties
> > directly when it ought to be setting font-lock-face properties.
> There's nothing wrong with that, we even have infrastructure for doing
> so (facemenu.el).
Manual specification, such as with facemenu, should go on the face property.
However, automatic font specification -- anything equivalent in spirit
to Font-Lock mode -- should set font-lock-face instead.
The purpose of this is so that M-x font-lock-mode will toggle whether
those faces actually appear in the display.
Thus, if html-mode sets the faces through `face', it should be fixed
to set `font-lock-face' instead.
--
Dr Richard Stallman
President, Free Software Foundation
51 Franklin St
Boston MA 02110
USA
www.fsf.org www.gnu.org
Skype: No way! That's nonfree (freedom-denying) software.
Use Ekiga or an ordinary phone call.
Re: Turning off colorization, Richard Stallman, 2014/11/07
- Re: Turning off colorization, Eli Zaretskii, 2014/11/07
- RE: Turning off colorization, Drew Adams, 2014/11/07
- Re: Turning off colorization, Stefan Monnier, 2014/11/07
- Re: Turning off colorization, Eli Zaretskii, 2014/11/07
- Re: Turning off colorization, Stefan Monnier, 2014/11/07
- Re: Turning off colorization, Richard Stallman, 2014/11/08
Re: Turning off colorization,
Richard Stallman <=
Re: Turning off colorization, Eli Zaretskii, 2014/11/08
Re: Turning off colorization, Richard Stallman, 2014/11/08
Re: Turning off colorization, James Cloos, 2014/11/08
Re: Turning off colorization, Lars Magne Ingebrigtsen, 2014/11/08
Re: Turning off colorization, James Cloos, 2014/11/08
Re: Turning off colorization, Lars Magne Ingebrigtsen, 2014/11/08
Re: Turning off colorization, Eli Zaretskii, 2014/11/08
RE: Turning off colorization, Mirek Kaim, 2014/11/10
Re: Turning off colorization, Eli Zaretskii, 2014/11/10
RE: Turning off colorization, Mirek Kaim, 2014/11/10