summaryrefslogtreecommitdiff
path: root/book/src/themes.md
diff options
context:
space:
mode:
authorGokul Soumya2021-09-13 08:48:58 +0000
committerGitHub2021-09-13 08:48:58 +0000
commit116e562ff652b54ba482143428bfbf4ac3fcd62e (patch)
tree98d9dcfe4092388df40ef1d022284a706a091460 /book/src/themes.md
parent3e12b0099342be12db1db64e36ca4ff29613f122 (diff)
Document `diagnostic` theme scope (#751)
Diffstat (limited to 'book/src/themes.md')
-rw-r--r--book/src/themes.md10
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 |