Fix duplicate "ui.help" key. (#1713)
commitc1251aecc75d9a28121373d2ac8c6ce81c9ed56d
authorGregory Oakes <2153080+gcoakes@users.noreply.github.com>
dateSun 27 Feb 2022, 00:39 (5 years ago)
parent6a6a9ab
runtime/themes/base16_terminal.toml−1
@@ -28,7 +28,6 @@
2828"keyword" = "light-magenta"
2929"label" = "light-magenta"
3030"namespace" = "light-magenta"
31−"ui.help" = { fg = "white", bg = "black" }
3231
3332"markup.heading" = "light-blue"
3433"markup.list" = "light-red"