Skip to content

Disable reloading when changing language servers#18884

Merged
kimadeline merged 32 commits into
microsoft:mainfrom
kimadeline:18509-disable-jedi-pvsc
Apr 18, 2022
Merged

Disable reloading when changing language servers#18884
kimadeline merged 32 commits into
microsoft:mainfrom
kimadeline:18509-disable-jedi-pvsc

Commits

Commits on Mar 11, 2022

Commits on Mar 17, 2022

Commits on Mar 19, 2022

Commits on Mar 25, 2022

Commits on Apr 4, 2022

Commits on Apr 5, 2022

Commits on Apr 6, 2022

Commits on Apr 7, 2022

Commits on Apr 8, 2022

Commits on Apr 13, 2022

Commits on Apr 14, 2022

Commits on Apr 15, 2022

Commits on Apr 18, 2022