From 64bfb6c64576ebf2812b85800f7ff10dc5aa2844 Mon Sep 17 00:00:00 2001 From: Thomas Threadgold Date: Mon, 14 Apr 2025 09:48:28 +0200 Subject: [PATCH] docs: add theme keys for inline diagnostics --- book/src/themes.md | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/book/src/themes.md b/book/src/themes.md index dc377db17..cd6e08889 100644 --- a/book/src/themes.md +++ b/book/src/themes.md @@ -326,9 +326,13 @@ These scopes are used for theming the editor interface: | `ui.cursorcolumn.primary` | The column of the primary cursor ([if cursorcolumn is enabled][editor-section]) | | `ui.cursorcolumn.secondary` | The columns of any other cursors ([if cursorcolumn is enabled][editor-section]) | | `warning` | Diagnostics warning (gutter) | +| `warning.diagnostic.inline` | The inline diagnostic for the warning severity | | `error` | Diagnostics error (gutter) | +| `error.diagnostic.inline` | The inline diagnostic for the error severity | | `info` | Diagnostics info (gutter) | +| `info.diagnostic.inline` | The inline diagnostic for the warning severity | | `hint` | Diagnostics hint (gutter) | +| `hint.diagnostic.inline` | The inline diagnostic for the hint severity | | `diagnostic` | Diagnostics fallback style (editing area) | | `diagnostic.hint` | Diagnostics hint (editing area) | | `diagnostic.info` | Diagnostics info (editing area) |