on master help sign in
Fix selection highlighting in remaining gruvbox derived themes (#7717)
commit48d57dad471a0cb8b26aa93edc379f38b813ad72 authorRavi Shekhar Jethani <rsjethani@gmail.com> dateSun 23 Jul 2023, 09:45 (3 years ago) parent505213d
2 files changed−4
runtime/themes/gruvbox_dark_hard.toml−2 runtime/themes/gruvbox_light.toml−2
runtime/themes/gruvbox_dark_hard.toml−2
@@ -4,8 +4,6 @@
44
55inherits = "gruvbox"
66
7−"ui.selection" = { bg = "bg3", modifiers = ["reversed"] }
8−"ui.selection.primary" = { bg = "bg4", modifiers = ["reversed"] }
97"ui.cursor.primary" = { modifiers = ["reversed"] }
108"ui.cursor.match" = { bg = "bg2" }
119
runtime/themes/gruvbox_light.toml−2
@@ -4,8 +4,6 @@
44
55inherits = "gruvbox"
66
7−"ui.selection" = { bg = "bg3", modifiers = ["reversed"] }
8−"ui.selection.primary" = { bg = "bg4", modifiers = ["reversed"] }
97"ui.cursor.primary" = { modifiers = ["reversed"] }
108"ui.cursor.match" = { bg = "bg2" }
119