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

From: João Távora <[email-masked]>
Date: Thu, 23 Feb 2023 11:59:29 +0000

On Sat, Feb 18, 2023 at 3:00 PM Augusto Stoffel <[email-masked]> 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