Skip to content
New issue

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

Border #7

Open
mika76 opened this issue Sep 19, 2020 · 1 comment
Open

Border #7

mika76 opened this issue Sep 19, 2020 · 1 comment

Comments

@mika76
Copy link

mika76 commented Sep 19, 2020

Would it be possible to add borders on some places - it's sometimes hard to find places to resize - like between the side bar - and also under the tabs - when only one tab it's a bit weird to have a "hovering" block

It could be an extra setting - or even, like Sarah Drasner does on Night Owl provide an override for some people?

@mika76
Copy link
Author

mika76 commented Sep 19, 2020

After playing with it I can see I can add my own - this is what I came up with

"workbench.colorCustomizations": {
  "[White]": {
    "sideBar.border": "#0064ff0c",
    "editorGroupHeader.tabsBorder": "#0064ff0c"
    },
},

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

1 participant