GNU bug report logs - #40750
Use error face for errors

Previous Next

Full log

Message #26 received at 40750 <at> debbugs.gnu.org (full text, mbox):

From: Stefan Kangas <stefan <at> marxist.se>
To: Drew Adams <drew.adams <at> oracle.com>, Lars Ingebrigtsen <larsi <at> gnus.org>
Cc: "40750 <at> debbugs.gnu.org" <40750 <at> debbugs.gnu.org>,
 ndame <ndame <at> protonmail.com>
Subject: RE: [External] : bug#40750: Use error face for errors
Date: Sat, 25 Sep 2021 09:59:17 -0700

Drew Adams <drew.adams <at> oracle.com> writes:

> Add a user option, defaulting to no change from
> the traditional behavior, which causes error and
> warning messages to preserve text properties on
> the strings they use.

That's not what happens, see Bug#50785.

> Code should be able to control the appearance
> of text it uses when interacting with users.
> And users should be able to override this or
> (better) configure it.

Having a face is exactly the way to give users control over what this
looks like.

Of course, the error face should not just remove any faces that are
already there; that precludes making e.g. keybindings stand out with the
`help-key-binding' face.  So you would need to give the error-message
face lower priority.

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.