From 116e562ff652b54ba482143428bfbf4ac3fcd62e Mon Sep 17 00:00:00 2001 From: Gokul Soumya Date: Mon, 13 Sep 2021 14:18:58 +0530 Subject: [PATCH] Document `diagnostic` theme scope (#751) --- book/src/themes.md | 10 +++++----- 1 file 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 |