[Top][All Lists]

[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
www.fsf.org  www.gnu.org
Skype: No way! That's nonfree (freedom-denying) software.
  Use Ekiga or an ordinary phone call.

reply via email to

[Prev in Thread] Current Thread [Next in Thread]