Specify ui.selection.primary for Gruvbox themes (#5333)
commit77860bdb0503b3daf6e545cd5191e226456161b6
authorAidan Gauland <aidalgol@users.noreply.github.com>
dateMon 9 Jan 2023, 15:26 (4 years ago)
parent486c3ab
runtime/themes/gruvbox.toml+1
@@ -53,6 +53,7 @@
5353"ui.text" = { fg = "fg1" }
5454"ui.text.focus" = { fg = "fg1" }
5555"ui.selection" = { bg = "bg2" }
56+"ui.selection.primary" = { bg = "bg3" }
5657"ui.cursor.primary" = { bg = "fg4", fg = "bg1" }
5758"ui.cursor.match" = { bg = "bg3" }
5859"ui.menu" = { fg = "fg1", bg = "bg2" }
runtime/themes/gruvbox_dark_hard.toml+1
@@ -60,6 +60,7 @@
6060"ui.text" = { fg = "fg1" }
6161"ui.text.focus" = { fg = "fg1" }
6262"ui.selection" = { bg = "bg3", modifiers = ["reversed"] }
63+"ui.selection.primary" = { bg = "bg4", modifiers = ["reversed"] }
6364"ui.cursor.primary" = { modifiers = ["reversed"] }
6465"ui.cursor.match" = { bg = "bg2" }
6566"ui.menu" = { fg = "fg1", bg = "bg2" }
runtime/themes/gruvbox_light.toml+1
@@ -54,6 +54,7 @@
5454"ui.text" = { fg = "fg1" }
5555"ui.text.focus" = { fg = "fg1" }
5656"ui.selection" = { bg = "bg3", modifiers = ["reversed"] }
57+"ui.selection.primary" = { bg = "bg4", modifiers = ["reversed"] }
5758"ui.cursor.primary" = { modifiers = ["reversed"] }
5859"ui.cursor.match" = { bg = "bg2" }
5960"ui.menu" = { fg = "fg1", bg = "bg2" }