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

Previous Next

Full log

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

From: Augusto Stoffel <arstoffel <at> gmail.com>
To: João Távora <joaotavora <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:55:20 +0100

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.  So I'd say the next best thing is to make
that face inherit from flymake-note or flymake-warning.

Previous Next

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