Dull colors when using a color profile

[newbrain]

• VSCode Version: 1.31.1
• OS Version: Windows 10 1809 - 17763.316

Steps to Reproduce:

1. Set a color profile as default in "Color Management"
2. Open VS Code: All colors (regardless of theme) are muted.
   
   
3. Exit VS Code.
4. Remove the color profile in "Color Management".
5. Open VS Code: Colors are normal.
   
   

Does this issue occur when all extensions are disabled?: Yes

The visual effect is the same as reported in closed issue #34146
Oddly, the issue appears even when using the machine running VS Code through RDP.

Note also that the profile I'm using should make no color transformation (my display is calibrated with its internal LUT to sRGB, and that's the color space I'm using), I'm attaching it for reference.

U2713H.zip

[vscodebot]

(Experimental duplicate detection)
Thanks for submitting this issue. Please also check if it is already covered by an existing one, like:

• Add a setting to support RGB color profile chosen by OS (#65816)
• January Update : Color error or different or changed (#68893)
• Allow disabling color picker (#42344)

[aeschli]

duplicate of #65816