[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 11:59:29 +0000 |
On Sat, Feb 18, 2023 at 3:00 PM Augusto Stoffel <arstoffel@gmail.com> 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