[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#61413: [PATCH] Make warnings show a "warning" emoji instead of a sto
From: |
Eli Zaretskii |
Subject: |
bug#61413: [PATCH] Make warnings show a "warning" emoji instead of a stop-sign |
Date: |
Thu, 06 Mar 2025 15:52:52 +0200 |
> From: Kévin Le Gouguec <kevin.legouguec@gmail.com>
> Cc: Mauro Aranda <maurooaranda@gmail.com>, rudolf@adamkovic.org,
> rms@gnu.org, stefankangas@gmail.com, Hi-Angel@yandex.ru,
> 61413@debbugs.gnu.org
> Date: Sun, 02 Mar 2025 12:01:15 +0100
>
> Eli Zaretskii <eliz@gnu.org> writes:
>
> >> From: Mauro Aranda <maurooaranda@gmail.com>
> >>
> >> Kévin Le Gouguec <kevin.legouguec@gmail.com> writes:
> >>
> >> > Mauro Aranda <maurooaranda@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.
>
> Thanks for the nudge; re-attaching the patch that makes button.el
> preserve help-echo strings; reviewed by Mauro in two parts¹², then
> squashed³. I can install it if we think that fix is unambiguously good.
LGTM, thanks.
- bug#61413: [PATCH] Make warnings show a "warning" emoji instead of a stop-sign, Eli Zaretskii, 2025/03/01
- bug#61413: [PATCH] Make warnings show a "warning" emoji instead of a stop-sign, Kévin Le Gouguec, 2025/03/02
- bug#61413: [PATCH] Make warnings show a "warning" emoji instead of a stop-sign,
Eli Zaretskii <=
- bug#61413: [PATCH] Make warnings show a "warning" emoji instead of a stop-sign, Kévin Le Gouguec, 2025/03/08
- bug#61413: [PATCH] Make warnings show a "warning" emoji instead of a stop-sign, Konstantin Kharlamov, 2025/03/10
- bug#61413: [PATCH] Make warnings show a "warning" emoji instead of a stop-sign, Eli Zaretskii, 2025/03/10
- bug#61413: [PATCH] Make warnings show a "warning" emoji instead of a stop-sign, Konstantin Kharlamov, 2025/03/10
- bug#61413: [PATCH] Make warnings show a "warning" emoji instead of a stop-sign, Kévin Le Gouguec, 2025/03/10
- bug#61413: [PATCH] Make warnings show a "warning" emoji instead of a stop-sign, Konstantin Kharlamov, 2025/03/10
- bug#61413: [PATCH] Make warnings show a "warning" emoji instead of a stop-sign, Kévin Le Gouguec, 2025/03/10
- bug#61413: [PATCH] Make warnings show a "warning" emoji instead of a stop-sign, Konstantin Kharlamov, 2025/03/11
- bug#61413: [PATCH] Make warnings show a "warning" emoji instead of a stop-sign, Kévin Le Gouguec, 2025/03/11
- bug#61413: [PATCH] Make warnings show a "warning" emoji instead of a stop-sign, Konstantin Kharlamov, 2025/03/11