[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#58141: [Eglot] Default eglot-diagnostic-tag-unnecessary-face is prob
|
From: |
João Távora |
|
Subject: |
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@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