diff options
| author | Omnikar | 2021-12-01 22:59:23 +0000 |
|---|---|---|
| committer | Blaž Hrastnik | 2022-04-20 02:37:23 +0000 |
| commit | e6b865ed0b1b77934733d86b59d60870e9f5881f (patch) | |
| tree | f090ee3a7078b3109102abb3f555acb241ef4cd5 /book/src/themes.md | |
| parent | 94eba0e66aa193c093b1d7eefc0e21391cb2485f (diff) | |
allow whitespace to be rendered
Co-authored-by: Michael Davis <mcarsondavis@gmail.com>
Diffstat (limited to 'book/src/themes.md')
| -rw-r--r-- | book/src/themes.md | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/book/src/themes.md b/book/src/themes.md index e23dbb69..9009e2ca 100644 --- a/book/src/themes.md +++ b/book/src/themes.md @@ -224,6 +224,7 @@ These scopes are used for theming the editor interface. | `ui.text` | Command prompts, popup text, etc. | | `ui.text.focus` | | | `ui.text.info` | The key: command text in `ui.popup.info` boxes | +| `ui.virtual.whitespace` | Visible white-space characters | | `ui.menu` | Code and command completion menus | | `ui.menu.selected` | Selected autocomplete item | | `ui.selection` | For selections in the editing area | @@ -233,4 +234,3 @@ These scopes are used for theming the editor interface. | `info` | Diagnostics info (gutter) | | `hint` | Diagnostics hint (gutter) | | `diagnostic` | For text in editing area | - |