GNU bug report logs - #58141
[Eglot] Default eglot-diagnostic-tag-unnecessary-face is problematic

Previous Next

Full log

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

From: João Távora <joaotavora <at> gmail.com>
To: Augusto Stoffel <arstoffel <at> gmail.com>
Cc: 58141 <at> debbugs.gnu.org
Subject: Re: bug#58141: [Eglot] Default eglot-diagnostic-tag-unnecessary-face
 is problematic'
Date: Thu, 23 Feb 2023 11:59:29 +0000

On Sat, Feb 18, 2023 at 3:00 PM Augusto Stoffel <arstoffel <at> gmail.com> wrote:
>
> This was a while back, but in any case this is my suggestion for this
> face.  I haven't seen eglot-diagnostic-tag-deprecated-face appear in
> nature so I'm not sure how well it works.

I'm not a fan of hardcoding colors in Eglot, since that needs themes
to update for the new face.  Supporting the optional underline is
probably fine, though.

João

Previous Next

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