]> ToastFreeware Gitweb - philipp/winterrodeln/mediawiki_extensions/wrmap.git/commitdiff
Python editor settings.
authorPhilipp Spitzer <philipp@spitzer.priv.at>
Fri, 24 Nov 2023 13:03:13 +0000 (14:03 +0100)
committerPhilipp Spitzer <philipp@spitzer.priv.at>
Fri, 24 Nov 2023 13:03:13 +0000 (14:03 +0100)
.vscode/settings.json

index 15d9cf1aec32a55cfa47cc92c5cb3529012b43a8..c61cc17aa4ce48ac62c2fceb09086fe9949b6647 100644 (file)
@@ -18,5 +18,6 @@
     "[php]": {
         "editor.tabSize": 4,
         "editor.insertSpaces": false,
-    }
+    },
+    "python.analysis.typeCheckingMode": "basic"
 }