profiles/editors: add VS Code pre-set settings

This commit is contained in:
Gabriel Arazas 2023-10-05 00:06:53 +08:00
parent 61f8457584
commit df58c17524
No known key found for this signature in database
GPG Key ID: ADE0C41DAB221FCC

View File

@ -137,6 +137,30 @@ in {
# Yay! Thank you! # Yay! Thank you!
mutableExtensionsDir = true; 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 = { xdg.mimeApps.defaultApplications = {