Subject: bug#58141: [Eglot] Default eglot-diagnostic-tag-unnecessary-face is problematic'

From: João Távora <[email-masked]>
Date: Thu, 23 Feb 2023 19:10:08 +0000

On Thu, Feb 23, 2023 at 6:55 PM Augusto Stoffel <[email-masked]> 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