From 97c0bdf1e7b2667cfc188438fdb23658c9ca5ba6 Mon Sep 17 00:00:00 2001 From: Martin Aeschlimann Date: Mon, 11 Sep 2017 15:42:48 +0200 Subject: [PATCH] extension editor color box: set high contrast color --- .../parts/extensions/browser/media/extensionEditor.css | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/src/vs/workbench/parts/extensions/browser/media/extensionEditor.css b/src/vs/workbench/parts/extensions/browser/media/extensionEditor.css index 71ea1393dc4..b5aeae7795d 100644 --- a/src/vs/workbench/parts/extensions/browser/media/extensionEditor.css +++ b/src/vs/workbench/parts/extensions/browser/media/extensionEditor.css @@ -235,7 +235,8 @@ vertical-align: middle; } -.vs-dark .extension-editor > .body > .content table .colorBox { +.vs-dark .extension-editor > .body > .content table .colorBox, +.hc-black .extension-editor > .body > .content table .colorBox { border-color: rgb(238, 238, 238); } -- GitLab