We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
tab.activeBorder is set to #ffffff which doesn't actually do anything on the tab:
tab.activeBorder
#ffffff
For the newly added style to terminal tabs though it looks a bit weird:
Notice the white line on the left.
To clarify what this theme key does, here it is in #ff0000
#ff0000
The text was updated successfully, but these errors were encountered:
Setting "terminal.tab.activeBorder": "#f9826c" is probably a good solution here to match tab.activeBorderTop:
"terminal.tab.activeBorder": "#f9826c"
tab.activeBorderTop
Sorry, something went wrong.
Set terminal.tab.activeBorder based on editor tab
6d853bd
Fixes primer#188
Successfully merging a pull request may close this issue.
tab.activeBorder
is set to#ffffff
which doesn't actually do anything on the tab:For the newly added style to terminal tabs though it looks a bit weird:
Notice the white line on the left.
To clarify what this theme key does, here it is in
#ff0000
The text was updated successfully, but these errors were encountered: