|
|
@ -0,0 +1,16 @@ |
|
|
|
{ |
|
|
|
"python.linting.enabled": true, |
|
|
|
"python.languageServer": "Pylance", |
|
|
|
"python.analysis.typeCheckingMode": "basic", |
|
|
|
"python.analysis.diagnosticSeverityOverrides": { |
|
|
|
"reportMissingModuleSource": "none" |
|
|
|
}, |
|
|
|
"micropico.syncFolder": "", |
|
|
|
"micropico.openOnStart": true, |
|
|
|
"python.analysis.typeshedPaths": [ |
|
|
|
"~/.micropico-stubs/included" |
|
|
|
], |
|
|
|
"python.analysis.extraPaths": [ |
|
|
|
"~/.micropico-stubs/included" |
|
|
|
] |
|
|
|
} |