diff options
| author | A-Walrus | 2022-08-06 15:46:23 +0000 |
|---|---|---|
| committer | GitHub | 2022-08-06 15:46:23 +0000 |
| commit | fdd8bbf16bdbc19d2e814c463c1c327ee941eba9 (patch) | |
| tree | ac349e3872ecbf781a0fe33587eaa3fbd812c435 /runtime/themes | |
| parent | 4dd35777f4b15c8f8ef18102767e9984df51e07c (diff) | |
Fix indent guide styling (#3324)
* Fix incorrect indent guide styling
Before the indent guides on top of whitespace inherited the theme
from them. Now they do not.
* Fix dark_plus theme indent_guides
* Use whitespace style as fallback for indent-guide
* Fix dark_plus theme indent_guides
* Move indent_guide style patching out of loop
Diffstat (limited to 'runtime/themes')
| -rw-r--r-- | runtime/themes/dark_plus.toml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/runtime/themes/dark_plus.toml b/runtime/themes/dark_plus.toml index 1512a650..451c28b5 100644 --- a/runtime/themes/dark_plus.toml +++ b/runtime/themes/dark_plus.toml @@ -81,7 +81,7 @@ "ui.virtual.whitespace" = { fg = "dark_gray" } "ui.virtual.ruler" = { bg = "borders" } -"ui.virtual.indent-guide" = { bg = "dark_gray4" } +"ui.virtual.indent-guide" = { fg = "dark_gray4" } "warning" = { fg = "gold2" } "error" = { fg = "red" } |