diff options
author | Gregory Oakes | 2022-02-27 06:39:44 +0000 |
---|---|---|
committer | GitHub | 2022-02-27 06:39:44 +0000 |
commit | c1251aecc75d9a28121373d2ac8c6ce81c9ed56d (patch) | |
tree | 96e3983b5fa495d54e75f888fa26610f48db8bd0 | |
parent | 6a6a9ab2b3d8bbd8d97e9ac62bb0ef1fe620062e (diff) |
Fix duplicate "ui.help" key. (#1713)
-rw-r--r-- | runtime/themes/base16_terminal.toml | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/runtime/themes/base16_terminal.toml b/runtime/themes/base16_terminal.toml index 8038f9d8..a6ca71da 100644 --- a/runtime/themes/base16_terminal.toml +++ b/runtime/themes/base16_terminal.toml @@ -28,7 +28,6 @@ "keyword" = "light-magenta" "label" = "light-magenta" "namespace" = "light-magenta" -"ui.help" = { fg = "white", bg = "black" } "markup.heading" = "light-blue" "markup.list" = "light-red" |