diff options
| author | Dmitry Sharshakov | 2021-08-28 11:59:26 +0000 |
|---|---|---|
| committer | Dmitry Sharshakov | 2021-08-28 11:59:26 +0000 |
| commit | e3153946311b189bd5e10e816acbdda508ded31c (patch) | |
| tree | 304e0b8c0b869cc239d8c0ce9b0f328fe589bd93 /book/src/themes.md | |
| parent | 8df6739759396b45d06356dd78c39117590b062b (diff) | |
| parent | d6a9c2c0f6f4af98146b52d1c886a1ca99d15676 (diff) | |
Merge remote-tracking branch 'origin/master' into debug
Diffstat (limited to 'book/src/themes.md')
| -rw-r--r-- | book/src/themes.md | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/book/src/themes.md b/book/src/themes.md index f17195aa..0a4d58ad 100644 --- a/book/src/themes.md +++ b/book/src/themes.md @@ -91,6 +91,9 @@ Possible keys: | `ui.help` | | | `ui.text` | | | `ui.text.focus` | | +| `ui.info` | | +| `ui.info.text` | | +| `ui.menu` | | | `ui.menu.selected` | | | `ui.selection` | For selections in the editing area | | `ui.selection.primary` | | |