From d511122279b3b479362830305f4812f096273b6a Mon Sep 17 00:00:00 2001 From: Zisulin Morbrot <22527555+morlinbrot@users.noreply.github.com> Date: Wed, 31 May 2023 00:57:17 +0200 Subject: [PATCH] Add description for 'ui.text.focus' in theme docs (#7177) --- book/src/themes.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/book/src/themes.md b/book/src/themes.md index 56d0372ca..41a3fe101 100644 --- a/book/src/themes.md +++ b/book/src/themes.md @@ -296,7 +296,7 @@ #### 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]) |