dotfiles/VSCodium/User/settings.json

31 lines
1.2 KiB
JSON

{
"window.menuBarVisibility": "toggle",
"workbench.colorTheme": "One Dark Pro",
"oneDarkPro.bold": true,
"editor.fontFamily": "'Iosevka Curly Slab', 'Iosevka', 'Fira Code', 'Go Mono', 'Source Code Pro', 'Inconsolata', 'DejaVu Sans Mono', 'Droid Sans Mono', 'monospace', monospace, 'Droid Sans Fallback'",
"editor.fontSize": 11.5,
"editor.fontLigatures": "'HSKL','ss14','cv26' 8,'cv32' 2,'VLAA' 2,'cv93' 1,'cv95' 3,'VSAC' 1,'VSAD' 1,'VSAB' 9,'cv81' 2,'VSAA' 6,'cv98' 3",
"editor.rulers": [80],
"[python]": {
"editor.rulers": [
79
]
},
"editor.renderWhitespace": "boundary",
"files.trimTrailingWhitespace": true,
"files.trimFinalNewlines": true,
"terminal.integrated.fontFamily": "'Go Mono'",
"terminal.integrated.fontSize": 10,
"window.titleBarStyle": "custom",
"search.quickOpen.includeSymbols": true,
"python.workspaceSymbols.enabled": true,
"python.linting.mypyEnabled": true,
"python.linting.mypyArgs": [
"--ignore-missing-imports",
"--follow-imports=silent",
"--show-column-numbers",
"--strict"
],
"editor.lineNumbers": "relative",
"window.commandCenter": true
}