[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 16:36:01 -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. ]]]
> This is a misunderstanding: the discussion here is not about colors
> set by html-mode based on some syntactic properties of HTML markup,
> it's about colors set by an HTML renderer as specified by the HTML
> page that Emacs is about to display.
Sorry for my misunderstanding, but I think it is the same sort of
issue; I think it would be handy, for users, if font-lock-mode
controls whether to display those colors or not. It would give users
a simple way to turn off the colors if they want to, which won't
require any additional human memory.
--
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, (continued)
- 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, 2014/11/08
- Re: Turning off colorization, Eli Zaretskii, 2014/11/08
- Re: Turning off colorization,
Richard Stallman <=
- 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
- Re: Turning off colorization, Yuri Khan, 2014/11/10
- RE: Turning off colorization, Mirek Kaim, 2014/11/11