From c271f8e60fdc33ea666b9b90b823bbfdb5086acd Mon Sep 17 00:00:00 2001
From: Andres Toom <toom@adacore.com>
Date: Tue, 15 Aug 2023 15:14:27 +0300
Subject: [PATCH] VS Code settings: Remove some deprecated linters and
 formatters

Using these tools via the Pylance extension is deprecated. The equivalent
functionality is now available through dedicated VS Code extensions.
See:
  https://aka.ms/AAlgvkb.
  https://marketplace.visualstudio.com/items?itemName=ms-python.black-formatter

Note: Keeping the Pylance's mypy linting for now as it seems to behave better.
---
 .vscode/settings.json | 9 ++++-----
 1 file changed, 4 insertions(+), 5 deletions(-)

diff --git a/.vscode/settings.json b/.vscode/settings.json
index dd234ccf8..4768d0920 100644
--- a/.vscode/settings.json
+++ b/.vscode/settings.json
@@ -9,16 +9,15 @@
   "python.analysis.extraPaths": [
     "./stubs"
   ],
-  "python.formatting.provider": "black",
   "python.linting.enabled": true,
-  "python.linting.flake8Enabled": false,
   "python.linting.mypyEnabled": true,
-  "python.linting.pydocstyleEnabled": false,
-  "python.linting.pylintEnabled": false,
   "python.testing.pytestArgs": [
     "-vv",
     "-nauto",
     "tests"
   ],
-  "python.testing.pytestEnabled": true
+  "python.testing.pytestEnabled": true,
+  "[python]": {
+    "editor.defaultFormatter": "ms-python.black-formatter"
+  },
 }