diff options
author | Zisulin Morbrot | 2023-05-30 22:57:17 +0000 |
---|---|---|
committer | GitHub | 2023-05-30 22:57:17 +0000 |
commit | d511122279b3b479362830305f4812f096273b6a (patch) | |
tree | f9d0aee629f580f641b3507985612a573617071f /book/src/themes.md | |
parent | 92380540b858b66f247789e5270d61c9d1305033 (diff) |
Add description for 'ui.text.focus' in theme docs (#7177)
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 56d0372c..41a3fe10 100644 --- a/book/src/themes.md +++ b/book/src/themes.md @@ -296,7 +296,7 @@ These scopes are used for theming the editor interface: | `ui.window` | Borderlines separating splits | | `ui.help` | Description box for commands | | `ui.text` | Command prompts, popup text, etc. | -| `ui.text.focus` | | +| `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 | | `ui.virtual.ruler` | Ruler columns (see the [`editor.rulers` config][editor-section]) | |