[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: |
Kévin Le Gouguec |
Subject: |
bug#61413: [PATCH] Make warnings show a "warning" emoji instead of a stop-sign |
Date: |
Sat, 15 Feb 2025 23:50:08 +0100 |
User-agent: |
Gnus/5.13 (Gnus v5.13) |
Kévin Le Gouguec <kevin.legouguec@gmail.com> writes:
> * A caveat for terminals:
>
> As Eli mentions, icons.el already knows to fall back to a suitable
> representation on TTYs. In practice though, the Linux TTY can display a
> few non-ASCII characters; as a result, here (6.13 if that matters) Emacs
> falls back to warnings-suppress's _symbol_ representation…
>
> (symbol ,(if (and (eq system-type 'windows-nt)
> (null window-system))
> " » "
> " ■ ")) ; 👈 that one
>
> … which one could bikeshed too, if one were so inclined 🫣
Over at bug#60854, I note that Robert mentioned:
> Whilst youʼre changing stuff, the text should not be "stop", it should
> be "suppress" or "ignore" or something.
Referring to the current 'text presentation.
In light of all this, how do we feel about the attached patch? (FTR,
"×" displays fine in a Linux TTY here; I do not have a Windows console
handy however so that patch might go overboard)
txtpWk6kH9XcD.txt
Description: Text Data
- bug#61413: [PATCH] Make warnings show a "warning" emoji instead of a stop-sign, Stefan Kangas, 2025/02/11
- bug#61413: [PATCH] Make warnings show a "warning" emoji instead of a stop-sign, Richard Stallman, 2025/02/17
- bug#61413: [PATCH] Make warnings show a "warning" emoji instead of a stop-sign, Rudolf Adamkovič, 2025/02/18
- bug#61413: [PATCH] Make warnings show a "warning" emoji instead of a stop-sign, Stefan Kangas, 2025/02/18
- bug#61413: [PATCH] Make warnings show a "warning" emoji instead of a stop-sign, Konstantin Kharlamov, 2025/02/18
- bug#61413: [PATCH] Make warnings show a "warning" emoji instead of a stop-sign, Stefan Kangas, 2025/02/18
- bug#61413: [PATCH] Make warnings show a "warning" emoji instead of a stop-sign, Rudolf Adamkovič, 2025/02/22
- bug#61413: [PATCH] Make warnings show a "warning" emoji instead of a stop-sign, Kévin Le Gouguec, 2025/02/19