on master help sign in
Fix selection highlighting in remaining gruvbox derived themes (#7717)
48d57daRavi Shekhar Jethani
runtime/themes/gruvbox_dark_hard.toml−2
@@ -4,8 +4,6 @@
4
4
5inherits = "gruvbox"
5inherits = "gruvbox"
6
6
7−"ui.selection" = { bg = "bg3", modifiers = ["reversed"] }
8−"ui.selection.primary" = { bg = "bg4", modifiers = ["reversed"] }
9"ui.cursor.primary" = { modifiers = ["reversed"] }
7"ui.cursor.primary" = { modifiers = ["reversed"] }
10"ui.cursor.match" = { bg = "bg2" }
8"ui.cursor.match" = { bg = "bg2" }
11
9
runtime/themes/gruvbox_light.toml−2
@@ -4,8 +4,6 @@
4
4
5inherits = "gruvbox"
5inherits = "gruvbox"
6
6
7−"ui.selection" = { bg = "bg3", modifiers = ["reversed"] }
8−"ui.selection.primary" = { bg = "bg4", modifiers = ["reversed"] }
9"ui.cursor.primary" = { modifiers = ["reversed"] }
7"ui.cursor.primary" = { modifiers = ["reversed"] }
10"ui.cursor.match" = { bg = "bg2" }
8"ui.cursor.match" = { bg = "bg2" }
11
9