Add `ui.gutter` theming

2 years ago · c7ace15fd4
parent cce34feb4e
commit c7ace15fd4
4 changed files with 18 additions and 10 deletions
--- a/base16_theme.toml
+++ b/base16_theme.toml
@ -29,8 +29,10 @@
 "namespace" = "magenta"
 "ui.help" = { fg = "white", bg = "black" }

-"info" = "gray"
+"diagnostic" = { modifiers = ["underlined"] }
+"ui.gutter" = { bg = "black" }
+"info" = "blue"
 "hint" = "gray"
 "debug" = "gray"
-"diagnostic" = "gray"
+"warning" = "yellow"
 "error" = "red"
--- a/runtime/themes/base16_default_dark.toml
+++ b/runtime/themes/base16_default_dark.toml
@ -33,10 +33,12 @@
 "namespace" = "base0E"
 "ui.help" = { fg = "base06", bg = "base01" }

-"info" = "base03"
+"diagnostic" = { modifiers = ["underlined"] }
+"ui.gutter" = { bg = "base01" }
+"info" = "base0D"
 "hint" = "base03"
 "debug" = "base03"
-"diagnostic" = "base03"
+"warning" = "base09"
 "error" = "base08"

 [palette]
--- a/runtime/themes/base16_default_light.toml
+++ b/runtime/themes/base16_default_light.toml
@ -33,10 +33,12 @@
 "namespace" = "base0E"
 "ui.help" = { fg = "base06", bg = "base01" }

-"info" = "base03"
+"diagnostic" = { modifiers = ["underlined"] }
+"ui.gutter" = { bg = "base01" }
+"info" = "base0D"
 "hint" = "base03"
 "debug" = "base03"
-"diagnostic" = "base03"
+"warning" = "base09"
 "error" = "base08"

 [palette]
--- a/runtime/themes/base16_terminal.toml
+++ b/runtime/themes/base16_terminal.toml
@ -30,8 +30,10 @@
 "namespace" = "light-magenta"
 "ui.help" = { fg = "white", bg = "black" }

-"info" = "light-gray"
-"hint" = "light-gray"
-"debug" = "light-gray"
-"diagnostic" = "light-gray"
+"diagnostic" = { modifiers = ["underlined"] }
+"ui.gutter" = { bg = "black" }
+"info" = "light-blue"
+"hint" = "gray"
+"debug" = "gray"
+"warning" = "yellow"
 "error" = "light-red"