VSCodium: updated settings.json

This commit is contained in:
Tobias Schmidl 2023-10-26 11:08:31 +02:00
parent 3111b725b1
commit 72eb048b73

View file

@ -1,23 +1,31 @@
{ {
"editor.fontFamily": "Hack,'Droid Sans Mono', 'monospace', monospace",
"editor.fontSize": 12,
"chat.editor.fontSize": 12, "chat.editor.fontSize": 12,
"cmake.configureOnOpen": true,
"debug.console.fontSize": 12,
"diffEditor.codeLens": true, "diffEditor.codeLens": true,
"diffEditor.experimental.showMoves": true, "diffEditor.experimental.showMoves": true,
"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,
"git.autofetch": "all",
"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",
"terminal.integrated.enableBell": true,
"terminal.integrated.fontSize": 12,
"window.autoDetectColorScheme": true,
"window.menuBarVisibility": "compact",
"window.titleBarStyle": "custom",
"workbench.colorTheme": "Solarized Dark",
"workbench.preferredDarkColorTheme": "Solarized Dark", "workbench.preferredDarkColorTheme": "Solarized Dark",
"workbench.preferredLightColorTheme": "Solarized Light", "workbench.preferredLightColorTheme": "Solarized Light",
"git.autofetch": "all", }
"terminal.integrated.enableBell": true,
"debug.console.fontSize": 12,
"terminal.integrated.fontSize": 12,
"files.trimTrailingWhitespace": true,
"files.trimFinalNewlines": true,
"window.autoDetectColorScheme": true,
"workbench.colorTheme": "Solarized Dark",
"gitlens.telemetry.enabled": false,
"cmake.configureOnOpen": true,
"files.autoSave": "afterDelay",
"editor.renderWhitespace": "all",
"window.titleBarStyle": "custom",
"window.menuBarVisibility": "toggle"
}