From df58c17524ea5c9c553def4646f52f32c14f440c Mon Sep 17 00:00:00 2001
From: Gabriel Arazas <foodogsquared@foodogsquared.one>
Date: Thu, 5 Oct 2023 00:06:53 +0800
Subject: [PATCH] profiles/editors: add VS Code pre-set settings

---
 modules/home-manager/profiles/editors.nix | 24 +++++++++++++++++++++++
 1 file changed, 24 insertions(+)

diff --git a/modules/home-manager/profiles/editors.nix b/modules/home-manager/profiles/editors.nix
index 69378e91..7b66e0bb 100644
--- a/modules/home-manager/profiles/editors.nix
+++ b/modules/home-manager/profiles/editors.nix
@@ -137,6 +137,30 @@ in {
 
         # Yay! Thank you!
         mutableExtensionsDir = true;
+
+        userSettings = {
+          # Editor configurations.
+          "editor.fontFamily" = "monospace";
+          "editor.fontSize" = 16;
+          "editor.cursorStyle" = "block";
+          "editor.minimap.renderCharacters" = false;
+          "workbench.iconTheme" = "vscode-icons";
+          "window.autoDetectColorScheme" = true;
+          "accessibility.dimUnfocused.enable" = true;
+          "accessibility.dimUnfocused.opacity" = 0.35;
+
+          # Putting some conveniences.
+          "files.autoSave" = "off";
+          "update.showReleaseNotes" = false;
+          "extensions.autoUpdate" = "onlyEnabledExtensions";
+          "github.copilot.enable"."*" = false;
+
+          # Extensions settings.
+          "direnv.restart.automatic" = true;
+          "gitlens.showWhatsNewAfterUpgrade" = false;
+          "gitlens.showWelcomeOnInstall" = false;
+          "gitlens.plusFeatures.enabled" = false;
+        };
       };
 
       xdg.mimeApps.defaultApplications = {