Merge branch 'develop'

This commit is contained in:
Mattia Astorino 2020-06-26 19:43:09 +02:00
commit 7385d8c0e4
No known key found for this signature in database
GPG key ID: CDFA82D8B1132C65
2 changed files with 7 additions and 3 deletions

View file

@ -105,6 +105,10 @@
"selection.background": { "selection.background": {
"alpha": 40, "alpha": 40,
"value": null "value": null
},
"statusBarItem.remoteBackground": {
"alpha": 100,
"value": null
} }
} }
} }

View file

@ -359,9 +359,9 @@ export const getColorSet = (theme: ThemeSetting): IColorSet => {
/** /**
* Inputs validation style * Inputs validation style
*/ */
'inputValidation.errorBorder': `${theme.scheme.base.red}50`, 'inputValidation.errorBorder': `${theme.scheme.base.red}`,
'inputValidation.infoBorder': `${theme.scheme.base.blue}50`, 'inputValidation.infoBorder': `${theme.scheme.base.blue}`,
'inputValidation.warningBorder': `${theme.scheme.base.yellow}50`, 'inputValidation.warningBorder': `${theme.scheme.base.yellow}`,
/** /**
* Dropdown menu style * Dropdown menu style
*/ */