Refs: #153222

• windows @benibenj
• windows @sandy081
• windows @minsa110

Complexity: 3

Create Issue

The setting window.border was improved during the milestone. Specifically:

• it can be set as workspace setting now, to color per-window differently
• it respects the theme properties window.activeBorder and window.inactiveBorder

***Note: ** setting window.border to default opts-in to the native Windows accent color for title bars, which needs to be enabled:

Test:

• changes to theme properties window.activeBorder and window.inactiveBorder now apply live, you can set a color and the border should appear immediately. changing window.border still requires a restart due to a pending Electron bug
• this works as a workspace setting, meaning you can define different window border colors per workspace
• when configured as default and you have a Windows accent color set in settings for titles, that color should appear only for focused windows
• when configured as default, you can define colors for active vs. inactive window using workbench.colorCustomizations and the properties window.activeBorder and window.inactiveBorder, again as global or workspace setting
• when configured as off, no border color appears even if Windows accent color is enabled for titles and even if a theme or setting defines the window border color