dotfiles/home/.config/Code/User/settings.json
2021-03-31 10:57:20 -05:00

27 lines
1.3 KiB
JSON

{
"editor.suggestSelection": "first",
"vsintellicode.modify.editor.suggestSelection": "automaticallyOverrodeDefaultValue",
"python.jediEnabled": false,
"files.autoSaveDelay": 750,
"editor.renderWhitespace": "all",
"window.menuBarVisibility": "toggle",
"files.autoSave": "afterDelay",
"python.languageServer": "Pylance",
"window.zoomLevel": 0,
"workbench.colorTheme": "Iceberg",
"sync.quietSync": true,
"sync.autoUpload": true,
"sync.autoDownload": true,
"sync.gist": "b4580c595539ccca8bc2bb18ad104cef",
"workbench.editorAssociations": [
{
"viewType": "jupyter.notebook.ipynb",
"filenamePattern": "*.ipynb"
}
],
"editor.fontFamily": "'Source Code Pro', 'Droid Sans Mono', 'monospace', monospace, 'Droid Sans Fallback'",
"editor.inlineHints.fontFamily": "'Source Code Pro', 'Droid Sans Mono', 'monospace', monospace, 'Droid Sans Fallback'",
"markdown.preview.fontFamily": "'Source Code Pro', -apple-system, BlinkMacSystemFont, 'Segoe WPC', 'Segoe UI', system-ui, 'Ubuntu', 'Droid Sans', sans-serif",
"restructuredtext.preview.fontFamily": "'Source Code Pro', -apple-system, BlinkMacSystemFont, 'Segoe WPC', 'Segoe UI', 'HelveticaNeue-Light', 'Ubuntu', 'Droid Sans', sans-serif"
}