Subject: Re: bug#61413: [PATCH] Make warnings show a "warning" emoji instead of a stop-sign

From: Rudolf Adamkovič <[email-masked]>
Date: Sun, 23 Feb 2025 00:04:24 +0100

Stefan Kangas <[email-masked]> writes:

> Maybe we should make them look like the buttons in customize instead?

Yup.  A button like that, saying Suppress, would do.  No guesswork.

Rudy
-- 
"Genius is 1% inspiration and 99% perspiration."
--- Thomas Alva Edison, 1932

Rudolf Adamkovič <[email-masked]> [he/him]
http://adamkovic.org