diff options
| author | Jonathan LEI | 2022-12-10 09:56:12 +0000 |
|---|---|---|
| committer | Michael Davis | 2022-12-17 19:59:05 +0000 |
| commit | 24cd7f6adf7a46b8386583b17f01839eb592a2eb (patch) | |
| tree | efff4184b021c0a6aadd6fc347ee1ec53ce1b538 /book/src | |
| parent | 042d03269ecbe68e0461548bcf6918324c967bbb (diff) | |
Make prompt suggestions greyed out
Diffstat (limited to 'book/src')
| -rw-r--r-- | book/src/themes.md | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/book/src/themes.md b/book/src/themes.md index 322caea5..0f94828e 100644 --- a/book/src/themes.md +++ b/book/src/themes.md @@ -268,6 +268,7 @@ These scopes are used for theming the editor interface. | `ui.help` | Description box for commands | | `ui.text` | Command prompts, popup text, etc. | | `ui.text.focus` | | +| `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]) | | `ui.virtual.whitespace` | Visible whitespace characters | |