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

Previous Next

Full log

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

From: Eli Zaretskii <eliz <at> gnu.org>
To: Mauro Aranda <maurooaranda <at> gmail.com>
Cc: rudolf <at> adamkovic.org, rms <at> gnu.org, kevin.legouguec <at> gmail.com,
 stefankangas <at> gmail.com, Hi-Angel <at> yandex.ru, 61413 <at> debbugs.gnu.org
Subject: Re: bug#61413: [PATCH] Make warnings show a "warning" emoji instead
 of a stop-sign
Date: Sat, 01 Mar 2025 14:25:40 +0200

> Date: Thu, 20 Feb 2025 20:29:00 -0300
> Cc: rudolf <at> adamkovic.org, rms <at> gnu.org, stefankangas <at> gmail.com,
>  Hi-Angel <at> yandex.ru, Eli Zaretskii <eliz <at> gnu.org>, 61413 <at> debbugs.gnu.org
> From: Mauro Aranda <maurooaranda <at> gmail.com>
> 
> Kévin Le Gouguec <kevin.legouguec <at> gmail.com> writes:
> 
>  > Mauro Aranda <maurooaranda <at> gmail.com> writes:
>  >
>  >> But, now we don't know if the help-echo property was effectively added
>  >> by the library or it was already there :-(.  Sadness.
>  >
>  > Would the attached address that problem?  (To apply on top of the
>  > previous patch; I'll squash it all if we are happy with it)
> 
> Looks good to me, thanks.

If you want me to install some patches, please post them.

Previous Next

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