forge-joniko/ldc-startcoq
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

color setup

Browse source
This commit is contained in:
Jérémy Munsch 2023-09-06 09:23:44 +02:00
parent 22b598a11a
commit ecaec2823f
No known key found for this signature in database
GPG key ID: 18361AF3BFEC0FEC
1 changed files with 22 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

22
.vscode/settings.json vendored Normal file
View file

@ -0,0 +1,22 @@
{
"workbench.colorCustomizations": {
"activityBar.activeBackground": "#90431a",
"activityBar.background": "#90431a",
"activityBar.foreground": "#e7e7e7",
"activityBar.inactiveForeground": "#e7e7e799",
"activityBarBadge.background": "#1da24b",
"activityBarBadge.foreground": "#e7e7e7",
"commandCenter.border": "#e7e7e799",
"sash.hoverBorder": "#90431a",
"statusBar.background": "#652f12",
"statusBar.foreground": "#e7e7e7",
"statusBarItem.hoverBackground": "#90431a",
"statusBarItem.remoteBackground": "#652f12",
"statusBarItem.remoteForeground": "#e7e7e7",
"titleBar.activeBackground": "#652f12",
"titleBar.activeForeground": "#e7e7e7",
"titleBar.inactiveBackground": "#652f1299",
"titleBar.inactiveForeground": "#e7e7e799"
},
"peacock.remoteColor": "#652f12"
}