mirror of
https://github.com/wassname/discovering_latent_knowledge.git
synced 2026-09-20 12:40:23 +08:00
33 lines
1.1 KiB
JSON
33 lines
1.1 KiB
JSON
{
|
|
"python.formatting.provider": "black",
|
|
"python.analysis.typeCheckingMode": "basic",
|
|
"spellright.language": [
|
|
"en-GB-10-1."
|
|
],
|
|
"spellright.documentTypes": [
|
|
"latex",
|
|
"plaintext",
|
|
"markdown"
|
|
],
|
|
"workbench.colorCustomizations": {
|
|
"activityBar.activeBackground": "#65c89b",
|
|
"activityBar.background": "#65c89b",
|
|
"activityBar.foreground": "#15202b",
|
|
"activityBar.inactiveForeground": "#15202b99",
|
|
"activityBarBadge.background": "#945bc4",
|
|
"activityBarBadge.foreground": "#e7e7e7",
|
|
"commandCenter.border": "#15202b99",
|
|
"sash.hoverBorder": "#65c89b",
|
|
"statusBar.background": "#42b883",
|
|
"statusBar.foreground": "#15202b",
|
|
"statusBarItem.hoverBackground": "#359268",
|
|
"statusBarItem.remoteBackground": "#42b883",
|
|
"statusBarItem.remoteForeground": "#15202b",
|
|
"titleBar.activeBackground": "#42b883",
|
|
"titleBar.activeForeground": "#15202b",
|
|
"titleBar.inactiveBackground": "#42b88399",
|
|
"titleBar.inactiveForeground": "#15202b99"
|
|
},
|
|
"peacock.remoteColor": "#42b883"
|
|
}
|