From 2a202d165a9bcc4a1c1720bd4f9f1f42a348ab57 Mon Sep 17 00:00:00 2001 From: Benjamin Pasero Date: Fri, 28 Apr 2017 09:07:40 +0200 Subject: [PATCH] :lipstick: --- .../themes/dimmed-monokai-color-theme.json | 11 +++++------ .../theme-monokai/themes/monokai-color-theme.json | 5 ++--- 2 files changed, 7 insertions(+), 9 deletions(-) diff --git a/extensions/theme-monokai-dimmed/themes/dimmed-monokai-color-theme.json b/extensions/theme-monokai-dimmed/themes/dimmed-monokai-color-theme.json index 658df0da48a..7c6842a0d33 100644 --- a/extensions/theme-monokai-dimmed/themes/dimmed-monokai-color-theme.json +++ b/extensions/theme-monokai-dimmed/themes/dimmed-monokai-color-theme.json @@ -1,10 +1,9 @@ { "type": "dark", "colors": { - "foreground": "#ddffff", - "focusedElementOutline": "#00f9ff", + // "foreground": "#ddffff", + // "focusBorder": "#00f9ff", "dropdownBackground": "#383852", - "listInactiveFocusBackground": "#303052", "listActiveSelectionBackground": "#303050", "listFocusAndSelectionBackground": "#383852", "listInactiveSelectionBackground": "#303d45", @@ -20,14 +19,14 @@ "editorWhitespaces": "#383880", "editorIndentGuides": "#505037", "tabsContainerBackground": "#222228", - "activeTabBackground": "#272740", - "inactiveTabBackground": "#333340", + "tabActiveBackground": "#272740", + "tabInactiveBackground": "#333340", "tabBorder": "#000030", "panelActiveTitleForeground": "#ddffff", "statusBarBackground": "#354550", "activityBarBackground": "#292935", "activityBarForeground": "#f0f0ff", - "activityBadgeBackground": "#4045b0", + "activityBarBadgeBackground": "#4045b0", "sideBarBackground": "#232327", "sideBarSectionHeaderBackground": "#424250", "notificationsForeground": "#ffe0ff", diff --git a/extensions/theme-monokai/themes/monokai-color-theme.json b/extensions/theme-monokai/themes/monokai-color-theme.json index 091c27726a5..fa6da417331 100644 --- a/extensions/theme-monokai/themes/monokai-color-theme.json +++ b/extensions/theme-monokai/themes/monokai-color-theme.json @@ -1,10 +1,9 @@ { "type": "dark", "colors": { - "foreground": "#ddffff", - "focusBorder": "#00f9ff", + // "foreground": "#ddffff", + // "focusBorder": "#00f9ff", "dropdownBackground": "#383852", - "listInactiveFocusBackground": "#303052", "listActiveSelectionBackground": "#303070", "listFocusBackground": "#394770", "listFocusAndSelectionBackground": "#383852",