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

Previous Next

Full log

View this message in rfc822 format

From: Eli Zaretskii <eliz <at> gnu.org>
To: Kévin Le Gouguec <kevin.legouguec <at> gmail.com>, Mauro Aranda <maurooaranda <at> gmail.com>
Cc: rudolf <at> adamkovic.org, Hi-Angel <at> yandex.ru, rms <at> gnu.org, 61413 <at> debbugs.gnu.org, stefankangas <at> gmail.com
Subject: bug#61413: [PATCH] Make warnings show a "warning" emoji instead of a stop-sign
Date: Wed, 19 Feb 2025 17:59:15 +0200

> Cc: rms <at> gnu.org, Stefan Kangas <stefankangas <at> gmail.com>, 61413 <at> debbugs.gnu.org,
>  Konstantin Kharlamov <Hi-Angel <at> yandex.ru>
> From: Kévin Le Gouguec <kevin.legouguec <at> gmail.com>
> Date: Wed, 19 Feb 2025 08:24:17 +0100
> 
> Rudolf Adamkovič <rudolf <at> adamkovic.org> writes:
> 
> So while I do find the current warnings-suppress emoji less-than-ideal
> aesthetically (as Stefan suggests, a theme-compliant SVG would look
> better¹), I remain convinced that the primary *functional* problem here
> is that help-echo bug.
> 
> (Which I sent patches for earlier²; however, since no-one commented on
> those AFAICT, I suppose I am in the minority in considering this an
> immediate and obvious bug that needs addressing)

There's been only 3 days since you sent the patch.  We don't always
have enough manpower to move so quickly, especially when the right way
of fixing this is not clear, and you proposed 3 possible ways to
choose from.

> ¹ https://debbugs.gnu.org/cgi/bugreport.cgi?bug=61413#39

Mauro, could you please help with reviewing the patches and
recommending which fix is in your opinion the best one?

Thanks.

Previous Next

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