You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
16 lines
539 B
16 lines
539 B
{
|
|
"python.linting.enabled": true,
|
|
"python.languageServer": "Pylance",
|
|
"python.analysis.typeCheckingMode": "basic",
|
|
"micropico.syncFolder": "",
|
|
"micropico.openOnStart": true,
|
|
"python.analysis.typeshedPaths": [
|
|
"~/.micropico-stubs/micropython-rp2-rpi_pico_w-stubs==1.23.0.post1"
|
|
],
|
|
"python.analysis.extraPaths": [
|
|
"~/.micropico-stubs/micropython-rp2-rpi_pico_w-stubs==1.23.0.post1"
|
|
],
|
|
"python.analysis.diagnosticSeverityOverrides": {
|
|
"reportMissingModuleSource": "none"
|
|
}
|
|
}
|