diff options
| author | Michael Davis | 2024-03-02 04:37:11 +0000 |
|---|---|---|
| committer | GitHub | 2024-03-02 04:37:11 +0000 |
| commit | 5ca6a448e9b66f4f5b4caa7cd173252d0a78f92d (patch) | |
| tree | a54d58501fe130c90542f4cd1adf96c4ae927b35 /book/src | |
| parent | 1d6db30acf91ec1041e014650bf263defdc3feee (diff) | |
Support LSP diagnostic tags (#9780)
Diffstat (limited to 'book/src')
| -rw-r--r-- | book/src/themes.md | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/book/src/themes.md b/book/src/themes.md index f040dfb1..04d6a69b 100644 --- a/book/src/themes.md +++ b/book/src/themes.md @@ -333,5 +333,7 @@ These scopes are used for theming the editor interface: | `diagnostic.info` | Diagnostics info (editing area) | | `diagnostic.warning` | Diagnostics warning (editing area) | | `diagnostic.error` | Diagnostics error (editing area) | +| `diagnostic.unnecessary` | Diagnostics with unnecessary tag (editing area) | +| `diagnostic.deprecated` | Diagnostics with deprecated tag (editing area) | [editor-section]: ./configuration.md#editor-section |