From 5b9d341c1cd37e296c5c59f7abe65aec2b417c3e Mon Sep 17 00:00:00 2001 From: Mattia Astorino Date: Wed, 10 Oct 2018 22:13:52 +0200 Subject: [PATCH] chore: Improve custom menu colors --- src/themes/theme-template-color-theme.json | 1 + 1 file changed, 1 insertion(+) diff --git a/src/themes/theme-template-color-theme.json b/src/themes/theme-template-color-theme.json index 32c5a91..11ab25f 100644 --- a/src/themes/theme-template-color-theme.json +++ b/src/themes/theme-template-color-theme.json @@ -833,6 +833,7 @@ "menu.selectionBackground": "{{variant.scheme.lineHighlight}}50", "menu.selectionForeground": "{{commons.accents.Teal}}", "menu.selectionBorder": "{{variant.scheme.inactiveSelectionBackground}}", + "menu.separatorBackground": "{{variant.scheme.foregrund}}", "menubar.selectionBackground": "{{variant.scheme.inactiveSelectionBackground}}", "menubar.selectionForeground": "{{commons.accents.Teal}}", "menubar.selectionBorder": "{{variant.scheme.inactiveSelectionBackground}}",