From a83dfcbcbf3aea35fdf807ffb4ae0ee515462bed Mon Sep 17 00:00:00 2001 From: Mattia Astorino Date: Wed, 17 May 2017 15:04:56 +0200 Subject: [PATCH] fix: Panel hover borders --- src/themes/theme-template-color-theme.json | 2 ++ themes/Material-Theme-Darker.json | 1 + themes/Material-Theme-Default.json | 1 + themes/Material-Theme-Lighter.json | 1 + themes/Material-Theme-Palenight.json | 1 + 5 files changed, 6 insertions(+) diff --git a/src/themes/theme-template-color-theme.json b/src/themes/theme-template-color-theme.json index bf4c32e..5425078 100644 --- a/src/themes/theme-template-color-theme.json +++ b/src/themes/theme-template-color-theme.json @@ -682,6 +682,7 @@ "editor.selectionBackground": "{{variant.scheme.selection}}", "editor.selectionHighlightBackground": "{{variant.scheme.caret}}20", "editorHoverWidget.background": "{{variant.scheme.background}}", + "editorHoverWidget.border": "{{variant.scheme.inputBorder}}", "editorIndentGuide.background": "{{variant.scheme.guides}}", "editorGroupHeader.tabsBackground": "{{variant.scheme.background}}", "editorGroup.border": "{{variant.scheme.shadow}}", @@ -741,6 +742,7 @@ "editorSuggestWidget.highlightForeground": "{{commons.accents.teal}}", "editorSuggestWidget.selectedBackground": "{{variant.scheme.lineHighlight}}50", "editorSuggestWidget.border": "{{variant.scheme.inputBorder}}", + "widget.shadow": "{{variant.scheme.shadow}}", "editorWidget.background": "{{variant.scheme.background}}", "panel.border": "{{variant.scheme.background}}", diff --git a/themes/Material-Theme-Darker.json b/themes/Material-Theme-Darker.json index 8255808..995a56b 100644 --- a/themes/Material-Theme-Darker.json +++ b/themes/Material-Theme-Darker.json @@ -682,6 +682,7 @@ "editor.selectionBackground": "#61616150", "editor.selectionHighlightBackground": "#FFCC0020", "editorHoverWidget.background": "#212121", + "editorHoverWidget.border": "#FFFFFF10", "editorIndentGuide.background": "#42424270", "editorGroupHeader.tabsBackground": "#212121", "editorGroup.border": "#00000030", diff --git a/themes/Material-Theme-Default.json b/themes/Material-Theme-Default.json index bc51e2c..84e76e8 100644 --- a/themes/Material-Theme-Default.json +++ b/themes/Material-Theme-Default.json @@ -682,6 +682,7 @@ "editor.selectionBackground": "#80CBC420", "editor.selectionHighlightBackground": "#FFCC0020", "editorHoverWidget.background": "#263238", + "editorHoverWidget.border": "#FFFFFF10", "editorIndentGuide.background": "#37474F80", "editorGroupHeader.tabsBackground": "#263238", "editorGroup.border": "#00000030", diff --git a/themes/Material-Theme-Lighter.json b/themes/Material-Theme-Lighter.json index 6d52db2..42d636a 100644 --- a/themes/Material-Theme-Lighter.json +++ b/themes/Material-Theme-Lighter.json @@ -682,6 +682,7 @@ "editor.selectionBackground": "#80CBC440", "editor.selectionHighlightBackground": "#27272720", "editorHoverWidget.background": "#FAFAFA", + "editorHoverWidget.border": "#00000010", "editorIndentGuide.background": "#B0BEC570", "editorGroupHeader.tabsBackground": "#FAFAFA", "editorGroup.border": "#00000020", diff --git a/themes/Material-Theme-Palenight.json b/themes/Material-Theme-Palenight.json index 1da8f78..8192d84 100644 --- a/themes/Material-Theme-Palenight.json +++ b/themes/Material-Theme-Palenight.json @@ -682,6 +682,7 @@ "editor.selectionBackground": "#717CB450", "editor.selectionHighlightBackground": "#FFCC0020", "editorHoverWidget.background": "#292D3E", + "editorHoverWidget.border": "#FFFFFF10", "editorIndentGuide.background": "#4E557980", "editorGroupHeader.tabsBackground": "#292D3E", "editorGroup.border": "#00000030",