Theia: input border theming is broken

[akosyakov]

One can reproduce with HC theme, but also with any theme which redefines input.border.

In VS Code:

In Theia:

[kittaakos]

Same for SIW:

[kittaakos]

Also, no borders around the dialog buttons:

[kittaakos]

This issue is the same as https://github.com/eclipse-theia/theia/issues/6743, isn't it?

[akosyakov]

This issue is the same as #6743, isn't it?

It is not about HC. HC is only a way to reproduce. You can create a custom theme with another input.border color and it won't work.

6743 about checking that HC works properly

[kittaakos]

I cannot see what files are selected in the explorer either.

[akosyakov]

I cannot see what files are selected in the explorer either.

This one I think already about HC support :) Maybe file a new issue just to be sure that does not get lost while fixing this issue.

[kittaakos]

I am going to look into this and #6743.