Add `ui.gutter` theming
commitc7ace15fd4cf6794782aca0927ff4d43fffbd473
authorNNB <nnbnh@protonmail.com>
dateTue 7 Dec 2021, 23:33 (5 years ago)
parentcce34fe
base16_theme.toml+4−2
@@ -29,8 +29,10 @@
2929"namespace" = "magenta"
3030"ui.help" = { fg = "white", bg = "black" }
3131
32−"info" = "gray"
32+"diagnostic" = { modifiers = ["underlined"] }
33+"ui.gutter" = { bg = "black" }
34+"info" = "blue"
3335"hint" = "gray"
3436"debug" = "gray"
35−"diagnostic" = "gray"
37+"warning" = "yellow"
3638"error" = "red"
runtime/themes/base16_default_dark.toml+4−2
@@ -33,10 +33,12 @@
3333"namespace" = "base0E"
3434"ui.help" = { fg = "base06", bg = "base01" }
3535
36−"info" = "base03"
36+"diagnostic" = { modifiers = ["underlined"] }
37+"ui.gutter" = { bg = "base01" }
38+"info" = "base0D"
3739"hint" = "base03"
3840"debug" = "base03"
39−"diagnostic" = "base03"
41+"warning" = "base09"
4042"error" = "base08"
4143
4244[palette]
runtime/themes/base16_default_light.toml+4−2
@@ -33,10 +33,12 @@
3333"namespace" = "base0E"
3434"ui.help" = { fg = "base06", bg = "base01" }
3535
36−"info" = "base03"
36+"diagnostic" = { modifiers = ["underlined"] }
37+"ui.gutter" = { bg = "base01" }
38+"info" = "base0D"
3739"hint" = "base03"
3840"debug" = "base03"
39−"diagnostic" = "base03"
41+"warning" = "base09"
4042"error" = "base08"
4143
4244[palette]
runtime/themes/base16_terminal.toml+6−4
@@ -30,8 +30,10 @@
3030"namespace" = "light-magenta"
3131"ui.help" = { fg = "white", bg = "black" }
3232
33−"info" = "light-gray"
34−"hint" = "light-gray"
35−"debug" = "light-gray"
36−"diagnostic" = "light-gray"
33+"diagnostic" = { modifiers = ["underlined"] }
34+"ui.gutter" = { bg = "black" }
35+"info" = "light-blue"
36+"hint" = "gray"
37+"debug" = "gray"
38+"warning" = "yellow"
3739"error" = "light-red"