theming: tab.activeBorderTop
is not applied properly
#11616
Labels
theming
issues related to theming
tab.activeBorderTop
is not applied properly
#11616
Bug Description:
The theming option
tab.activeBorderTop
is not applied properly (notice the missing green border).theia:
vscode:
Steps to Reproduce:
Preferences: Color Theme
and selectActive Border
The text was updated successfully, but these errors were encountered: