2023-09-29 11:38:02 +02:00
|
|
|
{
|
|
|
|
"chat.editor.fontSize": 12,
|
2023-10-26 11:08:31 +02:00
|
|
|
"cmake.configureOnOpen": true,
|
|
|
|
"debug.console.fontSize": 12,
|
2023-09-29 11:38:02 +02:00
|
|
|
"diffEditor.codeLens": true,
|
|
|
|
"diffEditor.experimental.showMoves": true,
|
2023-10-26 11:08:31 +02:00
|
|
|
"diffEditor.maxComputationTime": 30000,
|
|
|
|
"editor.fontFamily": "Hack,'Droid Sans Mono', 'monospace', monospace",
|
|
|
|
"editor.fontSize": 12,
|
|
|
|
"editor.renderWhitespace": "all",
|
|
|
|
"files.autoSave": "afterDelay",
|
|
|
|
"files.autoSaveDelay": 5000,
|
|
|
|
"files.trimFinalNewlines": true,
|
|
|
|
"files.trimTrailingWhitespace": true,
|
2023-09-29 11:38:02 +02:00
|
|
|
"git.autofetch": "all",
|
2023-10-26 11:08:31 +02:00
|
|
|
"gitlens.telemetry.enabled": false,
|
|
|
|
"http.proxyStrictSSL": false,
|
|
|
|
"markdown.extension.toc.levels": "2..6",
|
|
|
|
"markdown.extension.toc.unorderedList.marker": "*",
|
|
|
|
"python.testing.pytestEnabled": true,
|
|
|
|
"python.testing.unittestEnabled": true,
|
|
|
|
"security.workspace.trust.untrustedFiles": "open",
|
2023-09-29 11:38:02 +02:00
|
|
|
"terminal.integrated.enableBell": true,
|
|
|
|
"terminal.integrated.fontSize": 12,
|
|
|
|
"window.autoDetectColorScheme": true,
|
2023-10-26 11:08:31 +02:00
|
|
|
"window.menuBarVisibility": "compact",
|
2023-09-29 11:38:02 +02:00
|
|
|
"window.titleBarStyle": "custom",
|
2023-10-26 11:08:31 +02:00
|
|
|
"workbench.colorTheme": "Solarized Dark",
|
|
|
|
"workbench.preferredDarkColorTheme": "Solarized Dark",
|
|
|
|
"workbench.preferredLightColorTheme": "Solarized Light",
|
|
|
|
}
|