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 = {