docs: add theme keys for inline diagnostics

pull/13318/head
Thomas Threadgold 2025-04-14 09:48:28 +02:00
parent 8d60606ba6
commit 64bfb6c645
No known key found for this signature in database
1 changed files with 4 additions and 0 deletions

View File

@ -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) |