Closed Tyriar closed 6 years ago
I am not sure I would agree because this heavily depends on the theme, e.g. it is fine in dark theme:
In any case this probably needs a new theme color key. Note that we already (unfortunately) have panel.border which is for separating to the editor area. We probably need another key for separating to the side (only if the side bar is on the right actually).
@bpasero agree this is theme dependent. Let's wait for users to complain before I introduce a new color and then we can allow themes to customize this.
After looking deeper into this, we already have a color which does just this nicely
"sideBar.border"
This issue in general is panel independent since the sidebar can have the same color as the editor and then the border is needed, which gets tackled by the above mentioned color.
Closing since this works nicely imho
(3 theme extensions excluded)
36906
Some themes separate the color of the workbench from the editor, if the panel and viewlet are the same color then it's hard to tell where the split is: