From b7675b02cdcab248ff296ccfc7c25399737a9b70 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Laure=CE=B7t?= <laurent.git@fainsin.bzh>
Date: Sat, 25 May 2024 17:01:16 +0200
Subject: [PATCH] =?UTF-8?q?=F0=9F=94=A7=20(home)=20vscode=20update=20setti?=
 =?UTF-8?q?ngs=20+=20add=20errorlens=20extension?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

---
 home/vscode/default.nix | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/home/vscode/default.nix b/home/vscode/default.nix
index 981afe0..6f8473d 100644
--- a/home/vscode/default.nix
+++ b/home/vscode/default.nix
@@ -18,6 +18,7 @@
       seatonjiang.gitmoji-vscode
       tamasfe.even-better-toml
       yzhang.markdown-all-in-one
+      usernamehw.errorlens
     ];
     userSettings = {
       "editor.fontFamily" = "'FiraCode Nerd Font Mono', 'Noto Color Emoji'";
@@ -38,6 +39,7 @@
       "editor.inlineSuggest.enabled" = true;
       "liveshare.presence" = true;
       "github.copilot.enable" = {"markdown" = true;};
+      "github.copilot.editor.enableAutoCompletions" = true;
       "nix.enableLanguageServer" = true;
       "nix.serverPath" = "nil";
       "julia.enableTelemetry" = false;
@@ -46,6 +48,7 @@
       "diffEditor.ignoreTrimWhitespace" = false;
       "editor.rulers" = [120];
       "remote.SSH.useExecServer" = false;
+      "python.analysis.typeCheckingMode" = "strict";
     };
   };
 }