GNU bug report logs - #61413
[PATCH] Make warnings show a "warning" emoji instead of a stop-sign

Previous Next

Full log

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

From: Rudolf Adamkovič <rudolf <at> adamkovic.org>
To: Stefan Kangas <stefankangas <at> gmail.com>, Kévin Le Gouguec
 <kevin.legouguec <at> gmail.com>
Cc: rms <at> gnu.org, 61413 <at> debbugs.gnu.org,
 Konstantin Kharlamov <Hi-Angel <at> yandex.ru>
Subject: Re: bug#61413: [PATCH] Make warnings show a "warning" emoji instead
 of a stop-sign
Date: Sun, 23 Feb 2025 00:04:24 +0100

Stefan Kangas <stefankangas <at> gmail.com> writes:

> Maybe we should make them look like the buttons in customize instead?

Yup.  A button like that, saying Suppress, would do.  No guesswork.

Rudy
-- 
"Genius is 1% inspiration and 99% perspiration."
--- Thomas Alva Edison, 1932

Rudolf Adamkovič <rudolf <at> adamkovic.org> [he/him]
http://adamkovic.org

Previous Next

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