More theme improvements

[ajitid]

• Color of editor squiggles
• Selection color within workbench
• Progress bar coloring with "progressBar.background"
• Changing button color for Install with "extensionButton."

Colors of these can also be changed

• BG/FG color of that Total 494 settings: colored with "badge.background" and "badge.foreground"
• Line below User Settings

---

• Color of the seperator (between Monokai Dimmed and Install Additional Color Themes)

[arcticicestudio]

Thanks for this nice summary of new workbench features 👍
It really helps a lot (especially the screenshots) if one maintains a lot of port projects for applications I'm not using on my own.
I've added this issue to the 0.4.0 project board and milestone.

Tasks

Workbench

Base Colors

• selection.background

Progress Bar

• progressBar.background

Extensions

• extensionButton.prominentForeground
• extensionButton.prominentBackground
• extensionButton.prominentHoverBackground

Badge

• badge.foreground
• badge.background

Editor

Errors and Warnings

• editorError.foreground
• editorError.border
• editorWarning.foreground
• editorWarning.border

TODO

• Determine whether the separator line of the command bar (Quick Open) is customizable.
  ➡️ Controlled by the pickerGroup.border selector

Line below User Settings

@ajitid Could you please post a screenshot for this?

[ajitid]

Line below User Settings

Maybe this line below User Settings isn't cutomisable...

---

Determine whether the separator line of the command bar is customizable.

But this one is though:

[arcticicestudio]

It seems like there is no way to change the line of the user settings.
I've changed the color of the separator line of the command bar (Quick Open) which is controlled by the pickerGroup.border selector.

[arcticicestudio]

🚢 Shipped with extension release version 🏷 0.4.0.