Theming border between explorer and extensions panes

[fredrikaverpil]

I'm adding a visible separator line to more clearly show the border of explorer/code/terminal, which makes it easier for me to grab these handles and resize the panes:

{
    "workbench.colorCustomizations": {
        "panel.border": "#1d262a",
        "sideBar.border": "#1d262a"
    }
}

It would also be great to be able to add such a border/separator between the explorer and extension panes.
I went to the vscode theme color reference docs but it seems this is not possible at this time.

[equinusocio]

I think that having the top border is enough

[bpasero]

@fredrikaverpil there is no specific border color for the split-views, but if you set contrastBorder you will see that borders show up there:

[eamodio]

I would like this as well to control the top border: sideBarSectionHeader.border or sideBarSectionHeader.topBorder

See:

[bpasero]

I added sideBarSectionHeader.border as new color.

[sbatten]

@bpasero NIT: if the section header is selected, the focus border completely hides the section header border. It's a little weird but not too big of a deal. Feel free to close and mark as verified if this is intended.

[bpasero]

@sbatten that is not a new issue, we had that before already. If you feel strong about it, I suggest to file a separate bug for it. My change was just to give a name to a color that was already there before.