From 6273574671cfa12fb97eaaf009aa3d9362b92dfa Mon Sep 17 00:00:00 2001 From: Martin Aeschlimann Date: Thu, 16 Nov 2017 11:41:51 +0100 Subject: [PATCH] New monokai selection color is too subtle. Fixes #36376 --- .../themes/dimmed-monokai-color-theme.json | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) 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 e090cc5f213..3b64b90309f 100644 --- a/extensions/theme-monokai-dimmed/themes/dimmed-monokai-color-theme.json +++ b/extensions/theme-monokai-dimmed/themes/dimmed-monokai-color-theme.json @@ -10,8 +10,11 @@ "button.background": "#565656", "editor.background": "#1e1e1e", "editor.foreground": "#c5c8c6", - "editor.selectionBackground": "#373b41", + "editor.selectionBackground": "#676b7180", + "editor.selectionHighlightBackground": "#575b6180", "editor.lineHighlightBackground": "#303030", + "editor.wordHighlightBackground": "#4747a180", + "editor.wordHighlightStrongBackground": "#6767ce80", "editorCursor.foreground": "#c07020", "editorWhitespace.foreground": "#505037", "editorIndentGuide.background": "#505037",