Update hoverWidget.ts
This commit is contained in:
parent
836601e6a0
commit
e842c095c5
1 changed files with 1 additions and 4 deletions
|
@ -214,12 +214,9 @@ class CompositeMouseTracker extends Widget {
|
|||
registerThemingParticipant((theme, collector) => {
|
||||
let editorHoverHighlightColor = theme.getColor(editorHoverHighlight);
|
||||
if (editorHoverHighlightColor) {
|
||||
|
||||
// This code is temporary and is a workaround to the issue #97521.
|
||||
if (editorHoverHighlightColor.isOpaque()) {
|
||||
editorHoverHighlightColor = editorHoverHighlightColor.transparent(0.90);
|
||||
editorHoverHighlightColor = editorHoverHighlightColor.transparent(0.5);
|
||||
}
|
||||
|
||||
collector.addRule(`.integrated-terminal .hoverHighlight { background-color: ${editorHoverHighlightColor}; }`);
|
||||
}
|
||||
const hoverBackground = theme.getColor(editorHoverBackground);
|
||||
|
|
Loading…
Reference in a new issue