aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorGregory Oakes2022-02-27 06:39:44 +0000
committerGitHub2022-02-27 06:39:44 +0000
commitc1251aecc75d9a28121373d2ac8c6ce81c9ed56d (patch)
tree96e3983b5fa495d54e75f888fa26610f48db8bd0
parent6a6a9ab2b3d8bbd8d97e9ac62bb0ef1fe620062e (diff)
Fix duplicate "ui.help" key. (#1713)
-rw-r--r--runtime/themes/base16_terminal.toml1
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"