{
"workbench.startupEditor": "newUntitledFile",
"editor.minimap.enabled": false,
"editor.fontFamily": "'monospace', monospace, 'Droid Sans Mono', 'Droid Sans Fallback'",
"editor.renderWhitespace": "boundary",
"editor.wordWrap": "on",
"editor.rulers": [
120
],
"editor.wordWrapColumn": 120,
"terminal.integrated.fontFamily": "'monospace'",
"terminal.integrated.lineHeight": 1,
"files.exclude": {
"**/.git": true,
"**/.svn": true,
"**/.hg": true,
"**/.tx": true,
"**/.idea": true,
"**/CVS": true,
"**/.DS_Store": true,
"**/*.pyc": true,
"**/.gitattributes": true,
"**/.github": true,
"**/.mypy_cache": true,
"**/__pycache__": true,
"**/.vscode": true,
"**/.cache": true,
"**/.pytest_cache": true
},
"files.trimFinalNewlines": true,
"files.trimTrailingWhitespace": true,
"workbench.statusBar.feedback.visible": false,
"git.enabled": false,
"explorer.confirmDelete": false,
"workbench.colorTheme": "Monokai",
"telemetry.enableTelemetry": false,
"telemetry.enableCrashReporter": false,
"editor.colorDecorators": false,
// "format": "beautify"
// "format": "keep-breaks" (minimize multiline)
// "format": "" (empty to minimize)
"CleanCSS.options": {
"format": ""
},
"files.associations": {
"*.content": "html",
"*.template": "html"
},
"breadcrumbs.enabled": true,
"python.pythonPath": "/usr/bin/python3",
"python.linting.enabled": true,
"python.linting.pycodestyleEnabled": true,
"python.linting.pycodestyleArgs": ["--max-line-length=120"],
"python.linting.flake8Enabled": true,
"python.linting.mypyEnabled": true,
"python.linting.pylintEnabled": false,
"workbench.sideBar.location": "right",
"editor.copyWithSyntaxHighlighting": false,
"window.titleBarStyle": "custom",
"editor.detectIndentation": false,
"editor.formatOnSave": false,
"editor.gotoLocation.multipleDefinitions": "goto",
"workbench.editor.enablePreviewFromQuickOpen": false,
"[python]": {},
"cSpell.language": "en-GB",
"cSpell.enabledLanguageIds": [
"markdown",
],
"cSpell.userWords": [
],
"extensions.ignoreRecommendations": false,
"terminal.integrated.rendererType": "dom",
"window.zoomLevel": 0,
"editor.fontSize": 14,
"terminal.integrated.fontSize": 13
}