From 90628f5eae600f626f41bc17d23f8850b0b176b3 Mon Sep 17 00:00:00 2001
From: ayamir <lgt986452565@gmail.com>
Date: Sun, 7 May 2023 00:55:53 +0800
Subject: [PATCH] Merge pull request #713 from ayamir/chore/pyright-to-jedi

chore(settings): replace `pright` with `jedi_language_server`.

(cherry picked from commit 1d901b7116d352ce7e62502ac6a31ff8c3ca00ff)