[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#58141: [Eglot] Default eglot-diagnostic-tag-unnecessary-face is prob
|
From: |
Augusto Stoffel |
|
Subject: |
bug#58141: [Eglot] Default eglot-diagnostic-tag-unnecessary-face is problematic' |
|
Date: |
Sat, 18 Feb 2023 16:00:45 +0100 |
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.
0001-Improve-eglot-diagnostic-tag-unnecessary-face.patch
Description: Text Data
- bug#58141: [Eglot] Default eglot-diagnostic-tag-unnecessary-face is problematic',
Augusto Stoffel <=