dotfiles/VSCodium/User/settings.json

28 lines
1.1 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": "'XHS0','ss14','cv12' 5,'cv16' 3,'cv43' 1,'cv45' 2,'cv53' 1,'cv54' 1,'cv52' 3,'cv36' 1,'cv51' 5,'cv49' 2,'onum'",
"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,
"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"
]
}