From 48d57dad471a0cb8b26aa93edc379f38b813ad72 Mon Sep 17 00:00:00 2001 From: Ravi Shekhar Jethani Date: Sun, 23 Jul 2023 09:45:13 +0200 Subject: [PATCH] Fix selection highlighting in remaining gruvbox derived themes (#7717) --- runtime/themes/gruvbox_dark_hard.toml | 2 -- runtime/themes/gruvbox_light.toml | 2 -- 2 files changed, 4 deletions(-) diff --git a/runtime/themes/gruvbox_dark_hard.toml b/runtime/themes/gruvbox_dark_hard.toml index d0d42bcd..1e2fd9e9 100644 --- a/runtime/themes/gruvbox_dark_hard.toml +++ b/runtime/themes/gruvbox_dark_hard.toml @@ -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" } diff --git a/runtime/themes/gruvbox_light.toml b/runtime/themes/gruvbox_light.toml index 749df110..59ce9901 100644 --- a/runtime/themes/gruvbox_light.toml +++ b/runtime/themes/gruvbox_light.toml @@ -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" }