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

Previous Next

Full log

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

From: Mauro Aranda <maurooaranda <at> gmail.com>
To: Eli Zaretskii <eliz <at> gnu.org>, Kévin Le Gouguec
 <kevin.legouguec <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: Re: bug#61413: [PATCH] Make warnings show a "warning" emoji instead
 of a stop-sign
Date: Wed, 19 Feb 2025 14:49:33 -0300

Eli Zaretskii <eliz <at> gnu.org> writes:

>> 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)
>
> Mauro, could you please help with reviewing the patches and
> recommending which fix is in your opinion the best one?
>

I'd vote for (b), the fallback.patch.  It improves the button
library and doesn't require changes in client code.

I think we'd like something similar for buttonize-region, so I wonder if
it's not better to do the change inside button--properties, though.

Previous Next

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