diff options
| author | Aidan Gauland | 2023-01-09 02:26:32 +0000 |
|---|---|---|
| committer | GitHub | 2023-01-09 02:26:32 +0000 |
| commit | 77860bdb0503b3daf6e545cd5191e226456161b6 (patch) | |
| tree | c293db839abb9ac01b92339496f971ba5cc1011b | |
| parent | 486c3ab0d542f5d502eba4f97446bdeca71afefd (diff) | |
Specify ui.selection.primary for Gruvbox themes (#5333)
| -rw-r--r-- | runtime/themes/gruvbox.toml | 1 | ||||
| -rw-r--r-- | runtime/themes/gruvbox_dark_hard.toml | 1 | ||||
| -rw-r--r-- | runtime/themes/gruvbox_light.toml | 1 |
3 files changed, 3 insertions, 0 deletions
diff --git a/runtime/themes/gruvbox.toml b/runtime/themes/gruvbox.toml index 4f0a7d9f..01def874 100644 --- a/runtime/themes/gruvbox.toml +++ b/runtime/themes/gruvbox.toml @@ -53,6 +53,7 @@ "ui.text" = { fg = "fg1" } "ui.text.focus" = { fg = "fg1" } "ui.selection" = { bg = "bg2" } +"ui.selection.primary" = { bg = "bg3" } "ui.cursor.primary" = { bg = "fg4", fg = "bg1" } "ui.cursor.match" = { bg = "bg3" } "ui.menu" = { fg = "fg1", bg = "bg2" } diff --git a/runtime/themes/gruvbox_dark_hard.toml b/runtime/themes/gruvbox_dark_hard.toml index 27d9ab9b..9f92d3c7 100644 --- a/runtime/themes/gruvbox_dark_hard.toml +++ b/runtime/themes/gruvbox_dark_hard.toml @@ -60,6 +60,7 @@ "ui.text" = { fg = "fg1" } "ui.text.focus" = { fg = "fg1" } "ui.selection" = { bg = "bg3", modifiers = ["reversed"] } +"ui.selection.primary" = { bg = "bg4", modifiers = ["reversed"] } "ui.cursor.primary" = { modifiers = ["reversed"] } "ui.cursor.match" = { bg = "bg2" } "ui.menu" = { fg = "fg1", bg = "bg2" } diff --git a/runtime/themes/gruvbox_light.toml b/runtime/themes/gruvbox_light.toml index dc7e3db1..d2245fe9 100644 --- a/runtime/themes/gruvbox_light.toml +++ b/runtime/themes/gruvbox_light.toml @@ -54,6 +54,7 @@ "ui.text" = { fg = "fg1" } "ui.text.focus" = { fg = "fg1" } "ui.selection" = { bg = "bg3", modifiers = ["reversed"] } +"ui.selection.primary" = { bg = "bg4", modifiers = ["reversed"] } "ui.cursor.primary" = { modifiers = ["reversed"] } "ui.cursor.match" = { bg = "bg2" } "ui.menu" = { fg = "fg1", bg = "bg2" } |