GNU bug report logs - #77917
31.0.50; [PATCH] Stop using the "stop" sign for all warning levels

Previous Next

Full log

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

From: Juri Linkov <juri <at> linkov.net>
To: Ihor Radchenko <yantar92 <at> posteo.net>
Cc: Robert Pluim <rpluim <at> gmail.com>, 77917 <at> debbugs.gnu.org,
 Eli Zaretskii <eliz <at> gnu.org>, prot <at> protesilaos.com
Subject: Re: bug#77917: 31.0.50; [PATCH] Stop using the "stop" sign for all
 warning levels
Date: Mon, 05 May 2025 21:52:25 +0300

>>> Then, what about
>>>
>>> +                (insert (buttonize (concat (icon-string 'warnings-suppress) " [Suppress?]")
>>> +                                   #'warnings-suppress
>>> +                                   type
>>> +                                   "Click to suppress this warning type")
>>
>> This adds too much visual clutter to users who don't need to click this button.
>> A better place for this button would be at the end.
>
> Then, maybe partially revert 0db604a9149, resurrecting
>
> -              ;; Don't output the buttons when doing batch compilation
> -              ;; and similar.
> -              (unless (or noninteractive (eq type 'bytecomp))
> -                (insert " ")
> -                (insert-button "Disable showing"
> -                               'type 'warning-suppress-warning
> -                               'warning-type type)
> -                (insert " ")
> -                (insert-button "Disable logging"
> -                               'type 'warning-suppress-log-warning

Maybe with a smaller font.

Previous Next

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