diff options
Diffstat (limited to 'book')
| -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 |