diff options
| author | Robert Walter | 2022-05-20 01:30:28 +0000 |
|---|---|---|
| committer | GitHub | 2022-05-20 01:30:28 +0000 |
| commit | 776686ab2471419b9c9aac8507e8d301f450389a (patch) | |
| tree | fb9c6ca38dda82e94d8917ef3d9d93c50e20bce8 /book/src | |
| parent | 09f9f70576830c328af37b73f96286d80ecf20f9 (diff) | |
Separate colors for different diagnostics types (#2437)
* feat(theme): add separate diagnostic colors
This commit adds separate diagnostic highlight colors for the different
types of LSP severities. If the severity type doesn't exist or is
unknown, we use some fallback coloring which was in use before this
commit.
Some initial color options were also added in the theme.toml
Resolves issue #2157
* feat(theme): add docs for new diagnostic options
* feat(theme): adjust defaults & reduce redundancy
- the different colors for different diagnostic severities are now
disabled in the default theme, instead diagnostics are just generally
underlined (as prior to the changes of this feature)
- the theme querying is now done once instead of every iteration in the
loop of processing every diagnostic message
Diffstat (limited to 'book/src')
| -rw-r--r-- | book/src/themes.md | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/book/src/themes.md b/book/src/themes.md index e73aedc9..97955cb7 100644 --- a/book/src/themes.md +++ b/book/src/themes.md @@ -234,6 +234,10 @@ These scopes are used for theming the editor interface. | `error` | Diagnostics error (gutter) | | `info` | Diagnostics info (gutter) | | `hint` | Diagnostics hint (gutter) | -| `diagnostic` | For text in editing area | +| `diagnostic` | Diagnostics fallback style (editing area) | +| `diagnostic.hint` | Diagnostics hint (editing area) | +| `diagnostic.info` | Diagnostics info (editing area) | +| `diagnostic.warning` | Diagnostics warning (editing area) | +| `diagnostic.error` | Diagnostics error (editing area) | [rulers-config]: ./configuration.md#editor-section |