diff options
| author | Joel | 2022-05-22 05:10:01 +0000 |
|---|---|---|
| committer | Blaž Hrastnik | 2022-05-22 09:36:51 +0000 |
| commit | 0018545263b6a8416b0b8b943be236ea0abb7a67 (patch) | |
| tree | 7aaf9da09f9da25d613942f5b6ad596d3905062f /.github | |
| parent | 0c05447d49103e96fc21910d336bdc75ab96338d (diff) | |
fix: remove duplicated `ui.help` in themes
the bottom value is used, so i've removed the top `ui.help` values from all themes
also, the values are not merged, so:
```toml
"ui.help" = { modifiers = ["reversed"] }
"ui.help" = { fg = "white", bg = "black" }
```
is equal to:
```toml
"ui.help" = { fg = "white", bg = "black" }
```
Diffstat (limited to '.github')
0 files changed, 0 insertions, 0 deletions