aboutsummaryrefslogtreecommitdiff
path: root/book
diff options
context:
space:
mode:
authorCossonLeo2021-08-28 04:54:24 +0000
committerGitHub2021-08-28 04:54:24 +0000
commitd6a9c2c0f6f4af98146b52d1c886a1ca99d15676 (patch)
tree080bb2d5ff195a2256c060fbab44be5406711dfa /book
parentf22e0aa2ae4169851b43d2225e6a43ef36442659 (diff)
Add ui.menu text style (#664)
* add menu text style * add ui.menu.text ui.info ui.info.text to book * change ui.menu.text to ui.menu * fix book's ui.menu
Diffstat (limited to 'book')
-rw-r--r--book/src/themes.md3
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` | |