Document diagnostic theme scope (#751)

This commit is contained in:
Gokul Soumya 2021-09-13 14:18:58 +05:30 committed by GitHub
parent 3e12b00993
commit 116e562ff6
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -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 |