diff options
author | wojciechkepka | 2021-06-20 20:02:41 +0000 |
---|---|---|
committer | Blaž Hrastnik | 2021-06-23 12:55:02 +0000 |
commit | d70be55f708fdae8c6e89cae1ad48a35d716bf10 (patch) | |
tree | 27ebdd32bf2866cdc31caa589d3a58d4d2727f9f /book/src/themes.md | |
parent | ac1e98d088dcb05bfb72d39bc33394163b8303ba (diff) |
Add ability to theme primary selecition
Diffstat (limited to 'book/src/themes.md')
-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 d552f41a..01fda34a 100644 --- a/book/src/themes.md +++ b/book/src/themes.md @@ -89,6 +89,7 @@ Possible keys: | `ui.text.focus` | | | `ui.menu.selected` | | | `ui.selection` | For selections in the editing area | +| `ui.selection.primary` | | | `warning` | LSP warning | | `error` | LSP error | | `info` | LSP info | |