From 5861b00cc16aa0b30b6d3d72bab3358102adece7 Mon Sep 17 00:00:00 2001 From: luabud Date: Tue, 9 Jun 2020 10:33:10 -0700 Subject: [PATCH 1/2] Make Jedi the default LS --- package.json | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/package.json b/package.json index a3837715f988..0b8316c46a82 100644 --- a/package.json +++ b/package.json @@ -2153,7 +2153,7 @@ "Microsoft", "None" ], - "default": "Microsoft", + "default": "Jedi", "description": "Defines type of the language server.", "scope": "resource" }, From 996a40f281ac3c4f554a1545f3d67ba39d6f9198 Mon Sep 17 00:00:00 2001 From: luabud Date: Tue, 9 Jun 2020 10:35:56 -0700 Subject: [PATCH 2/2] Add news entry --- news/2 Fixes/12225.md | 1 + 1 file changed, 1 insertion(+) create mode 100644 news/2 Fixes/12225.md diff --git a/news/2 Fixes/12225.md b/news/2 Fixes/12225.md new file mode 100644 index 000000000000..569141487675 --- /dev/null +++ b/news/2 Fixes/12225.md @@ -0,0 +1 @@ +Make Jedi the Default value for the python.languageServer setting. \ No newline at end of file