Fix selection highlighting in remaining gruvbox derived themes (#7717)

pull/7720/head
Ravi Shekhar Jethani 11 months ago committed by GitHub
parent 505213d41b
commit 48d57dad47
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

@ -4,8 +4,6 @@
inherits = "gruvbox"
"ui.selection" = { bg = "bg3", modifiers = ["reversed"] }
"ui.selection.primary" = { bg = "bg4", modifiers = ["reversed"] }
"ui.cursor.primary" = { modifiers = ["reversed"] }
"ui.cursor.match" = { bg = "bg2" }

@ -4,8 +4,6 @@
inherits = "gruvbox"
"ui.selection" = { bg = "bg3", modifiers = ["reversed"] }
"ui.selection.primary" = { bg = "bg4", modifiers = ["reversed"] }
"ui.cursor.primary" = { modifiers = ["reversed"] }
"ui.cursor.match" = { bg = "bg2" }

Loading…
Cancel
Save