[ui/ux] The tree highlighting differs from VS Code

[kittaakos]

Description

Theia uses different styles in the tree than VS Code. Something is odd with the mark style.

VS Code:

Theia Tree:

Theia File Dialog:

API:

theia/packages/core/src/browser/widget-decoration.ts

Lines 212 to 214 in fd2d384

	/**
	* The optional color of the text data that is being highlighted. Falls back to the default `mark` color values defined under a widget segment class.
	*/

CSS:

theia/packages/core/src/browser/style/tree.css

Lines 129 to 131 in fd2d384

	.theia-TreeNodeSegment mark {
	background-color: var(--theia-list-filterMatchBackground);
	}

TSX:

theia/packages/core/src/browser/tree/tree-widget.tsx

Line 590 in fd2d384

return <mark className={TreeDecoration.Styles.CAPTION_HIGHLIGHT_CLASS} style={style}>{data}</mark>;

Reproduction Steps

OS and Theia version:

Diagnostics:

[justin8502]

Going to take a look at this issue.