Actually fix user settings for `jediEnabled`.#12433

Merged

MikhailArkhipov merged 10 commits intomicrosoft:masterfrom

MikhailArkhipov:master

Jun 19, 2020

Commits on May 6, 2020

Fix path
Mikhail Arkhipov
committed
Merge branch 'master' of https://github.com/Microsoft/vscode-python
Mikhail Arkhipov
committed

Commits on May 11, 2020

Merge branch 'master' of https://github.com/Microsoft/vscode-python
Mikhail Arkhipov
committed

Commits on Jun 1, 2020

Merge branch 'master' of https://github.com/Microsoft/vscode-python
Mikhail Arkhipov
committed

Commits on Jun 11, 2020

Merge branch 'master' of https://github.com/Microsoft/vscode-python
Mikhail Arkhipov
committed

Commits on Jun 18, 2020

Actually fix settings
Mikhail Arkhipov
committed
Add news
Mikhail Arkhipov
committed
Add test
Mikhail Arkhipov
committed
Format
Mikhail Arkhipov
committed
Suppress 'jediEnabled' removal
Mikhail Arkhipov
committed