Prevent opaque highlight color from hiding text

microsoft · Jun 1, 2020 · ebd51e1 · ebd51e1
1 parent 040034f
commit ebd51e1
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/src/vs/workbench/contrib/terminal/browser/widgets/hoverWidget.ts b/src/vs/workbench/contrib/terminal/browser/widgets/hoverWidget.ts
@@ -214,6 +214,9 @@ class CompositeMouseTracker extends Widget {
 registerThemingParticipant((theme, collector) => {
 	const editorHoverHighlightColor = theme.getColor(editorHoverHighlight);
 	if (editorHoverHighlightColor) {
+		if (editorHoverHighlightColor.isOpaque()) {
+			editorHoverHighlightColor.transparent(0.90);
+		}
 		collector.addRule(`.integrated-terminal .hoverHighlight { background-color: ${editorHoverHighlightColor}; }`);
 	}
 	const hoverBackground = theme.getColor(editorHoverBackground);