mirror of
https://github.com/eliasrenman/gardentron.git
synced 2026-03-17 04:56:06 +01:00
16 lines
435 B
JSON
16 lines
435 B
JSON
{
|
|
"python.linting.enabled": true,
|
|
"python.languageServer": "Pylance",
|
|
"python.analysis.typeCheckingMode": "basic",
|
|
"picowgo.syncFolder": "",
|
|
"python.analysis.typeshedPaths": [
|
|
".vscode/Pico-W-Stub"
|
|
],
|
|
"python.analysis.extraPaths": [
|
|
".vscode/Pico-W-Stub/stubs"
|
|
],
|
|
"[python]": {
|
|
"editor.defaultFormatter": "ms-python.autopep8"
|
|
},
|
|
"python.formatting.provider": "none"
|
|
} |