on master help sign in
Document `diagnostic` theme scope (#751)
commit116e562ff652b54ba482143428bfbf4ac3fcd62e authorGokul Soumya <gokulps15@gmail.com> dateMon 13 Sep 2021, 14:18 (5 years ago) parent3e12b00
1 file changed+5−5
book/src/themes.md+5−5
book/src/themes.md+5−5
@@ -186,9 +186,9 @@ These scopes are used for theming the editor interface.
186186| `ui.menu.selected` | |
187187| `ui.selection` | For selections in the editing area |
188188| `ui.selection.primary` | |
189−| `warning` | Diagnostics warning |
190−| `error` | Diagnostics error |
191−| `info` | Diagnostics info |
192−| `hint` | Diagnostics hint |
193−
189+| `warning` | Diagnostics warning (gutter) |
190+| `error` | Diagnostics error (gutter) |
191+| `info` | Diagnostics info (gutter) |
192+| `hint` | Diagnostics hint (gutter) |
193+| `diagnostic` | For text in editing area |
194194