diff options
| author | Gokul Soumya | 2021-09-13 08:48:58 +0000 |
|---|---|---|
| committer | GitHub | 2021-09-13 08:48:58 +0000 |
| commit | 116e562ff652b54ba482143428bfbf4ac3fcd62e (patch) | |
| tree | 98d9dcfe4092388df40ef1d022284a706a091460 | |
| parent | 3e12b0099342be12db1db64e36ca4ff29613f122 (diff) | |
Document `diagnostic` theme scope (#751)
| -rw-r--r-- | book/src/themes.md | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/book/src/themes.md b/book/src/themes.md index fe5259d5..a99e3a59 100644 --- a/book/src/themes.md +++ b/book/src/themes.md @@ -186,9 +186,9 @@ These scopes are used for theming the editor interface. | `ui.menu.selected` | | | `ui.selection` | For selections in the editing area | | `ui.selection.primary` | | -| `warning` | Diagnostics warning | -| `error` | Diagnostics error | -| `info` | Diagnostics info | -| `hint` | Diagnostics hint | - +| `warning` | Diagnostics warning (gutter) | +| `error` | Diagnostics error (gutter) | +| `info` | Diagnostics info (gutter) | +| `hint` | Diagnostics hint (gutter) | +| `diagnostic` | For text in editing area | |