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

Previous Next

Full log

Message #20 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 19:10:08 +0000

On Thu, Feb 23, 2023 at 6:55 PM Augusto Stoffel <arstoffel <at> gmail.com> wrote:
>
> On Thu, 23 Feb 2023 at 11:59, João Távora wrote:
>
> > 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.
>
> Okay, but the current choice (inherit from shadow) is also not a safe
> one with respect to themes.

That's a problem with theme.  The default theme has a good setting
for "shadow", in my opinion.

João

Previous Next

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