diff options
| author | chtenb | 2023-11-25 13:27:31 +0000 |
|---|---|---|
| committer | GitHub | 2023-11-25 13:27:31 +0000 |
| commit | 8c68074fa6d2e3771bbc1a7f80bc9b422a787da4 (patch) | |
| tree | 4e21374d6f9b96827ecdae4599568b4701388ff2 /book/src | |
| parent | 8b0ae3d27912799d59e4948ff11d3a5428e32ce4 (diff) | |
Fix precedence of ui.virtual.whitespace (#8879)
* Revert "Revert "Fix precedence of ui.virtual.whitespace (#8750)""
This reverts commit 811d62d3b3699efb7b7ceb362f537979e5911871.
* Fix ui.text overwriting the syntax highlighting
Adjust ui.text description
Diffstat (limited to 'book/src')
| -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 495b7685..f040dfb1 100644 --- a/book/src/themes.md +++ b/book/src/themes.md @@ -303,7 +303,7 @@ These scopes are used for theming the editor interface: | `ui.popup.info` | Prompt for multiple key options | | `ui.window` | Borderlines separating splits | | `ui.help` | Description box for commands | -| `ui.text` | Command prompts, popup text, etc. | +| `ui.text` | Default text style, command prompts, popup text, etc. | | `ui.text.focus` | The currently selected line in the picker | | `ui.text.inactive` | Same as `ui.text` but when the text is inactive (e.g. suggestions) | | `ui.text.info` | The key: command text in `ui.popup.info` boxes | |