various updates

2025-06-19 10:04:20 +02:00
parent 34b5a37e8a
commit 2670f63d20
10 changed files with 53 additions and 14 deletions
--- a/.config/Code/User/settings.json
+++ b/.config/Code/User/settings.json
@ -118,4 +118,7 @@
  "git.openRepositoryInParentFolders": "never",
  "editor.selectionClipboard": false,
  "git.blame.editorDecoration.enabled": true,
+  "python.analysis.typeCheckingMode": "basic",
+  "workbench.editor.empty.hint": "hidden",
+  "python.defaultInterpreterPath": "/home/paul/.pyenv/versions/3.12.5/envs/wasteside-tools",
 }