microsoft/pyright
1
1
Fork 0
mirror of https://github.com/microsoft/pyright.git synced 2024-10-06 21:07:19 +03:00
Code Issues Projects Releases Wiki Activity

Fixed error in pyrightconfig JSON schema, which duplicated a couple of IDs.

Browse Source
This commit is contained in:
Eric Traut 2021-12-16 21:34:17 -08:00
parent 8862557894
commit 1ef2bbbb02
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
packages/vscode-pyright/schemas/pyrightconfig.schema.json
View File

@ -542,7 +542,7 @@
}
},
"pythonVersion": {
"$id": "#/properties/pythonVersion",
"$id": "#/properties/executionEnvironments/items/properties/pythonVersion",
"type": "string",
"title": "Python version to assume during type analysis",
"default": "",
@ -552,7 +552,7 @@
"pattern": "^3\\.[0-9]+$"
},
"pythonPlatform": {
"$id": "#/properties/pythonPlatform",
"$id": "#/properties/executionEnvironments/items/properties/pythonPlatform",
"type": "string",
"title": "Python platform to assume during type analysis",
"default": "",