Jan/nixos-config
1
0 Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Fixed vscode customization

Browse Source
This commit is contained in:
Jan-Bulthuis committed 2025-04-16 13:03:45 +02:00
1 parent 9c9fe6b18a
commit 8738fa3066
10 files changed
+133 -112
Download Patch File Download Diff File Expand all files Collapse all files

No files matched your search

user-modules/vscode/default.nix
+52 -50
View File
@@ -37,63 +37,65 @@ in
enable = true;
mutableExtensionsDir = false;
extensions = with pkgs.vscode-extensions; [
eamodio.gitlens
ms-vscode.hexeditor
mkhl.direnv
usernamehw.errorlens
gruntfuggly.todo-tree
github.copilot
github.copilot-chat
tomoki1207.pdf
ms-vsliveshare.vsliveshare
];
profiles.default = {
extensions = with pkgs.vscode-extensions; [
eamodio.gitlens
ms-vscode.hexeditor
mkhl.direnv
usernamehw.errorlens
gruntfuggly.todo-tree
github.copilot
github.copilot-chat
tomoki1207.pdf
ms-vsliveshare.vsliveshare
];
userSettings =
let
font-family = mkForce "'${cfg.codeFont.name}', '${cfg.fallbackFont.name}'";
# TODO: Move the conversion factor to theme settings
font-size = mkForce cfg.codeFont.recommendedSize; # Convert pt to px
in
{
# Font setup
"editor.fontFamily" = font-family;
"editor.inlayHints.fontFamily" = font-family;
"editor.inlineSuggest.fontFamily" = font-family;
"editor.fontSize" = font-size;
"editor.fontLigatures" = true;
"terminal.integrated.fontFamily" = font-family;
"terminal.integrated.fontSize" = font-size;
"chat.editor.fontFamily" = font-family; # TODO: Change this font to the standard UI font
"chat.editor.fontSize" = font-size;
"debug.console.fontFamily" = font-family;
"debug.console.fontSize" = font-size;
"scm.inputFontFamily" = font-family; # TODO: Change this font to the standard UI font
"scm.inputFontSize" = font-size;
"markdown.preview.fontFamily" = mkForce theme.fonts.sansSerif.name; # TODO: Change this font to the standard UI font
"markdown.preview.fontSize" = mkForce theme.fonts.sansSerif.recommendedSize;
userSettings =
let
font-family = mkForce "'${cfg.codeFont.name}', '${cfg.fallbackFont.name}'";
# TODO: Move the conversion factor to theme settings
font-size = mkForce cfg.codeFont.recommendedSize; # Convert pt to px
in
{
# Font setup
"editor.fontFamily" = font-family;
"editor.inlayHints.fontFamily" = font-family;
"editor.inlineSuggest.fontFamily" = font-family;
"editor.fontSize" = font-size;
"editor.fontLigatures" = true;
"terminal.integrated.fontFamily" = font-family;
"terminal.integrated.fontSize" = font-size;
"chat.editor.fontFamily" = font-family; # TODO: Change this font to the standard UI font
"chat.editor.fontSize" = font-size;
"debug.console.fontFamily" = font-family;
"debug.console.fontSize" = font-size;
"scm.inputFontFamily" = font-family; # TODO: Change this font to the standard UI font
"scm.inputFontSize" = font-size;
"markdown.preview.fontFamily" = mkForce theme.fonts.sansSerif.name; # TODO: Change this font to the standard UI font
"markdown.preview.fontSize" = mkForce theme.fonts.sansSerif.recommendedSize;
# Formatting
"editor.formatOnSave" = true;
"editor.tabSize" = 4;
# Formatting
"editor.formatOnSave" = true;
"editor.tabSize" = 4;
# Layout
"window.menuBarVisibility" = "hidden";
# Layout
"window.menuBarVisibility" = "hidden";
# Git settings
"git.autofetch" = true;
"git.enableSmartCommit" = false;
"git.suggestSmartCommit" = false;
# Git settings
"git.autofetch" = true;
"git.enableSmartCommit" = false;
"git.suggestSmartCommit" = false;
# Disable update notifications
"update.mode" = "none";
# Disable update notifications
"update.mode" = "none";
# TODO: Move to direnv module
# Ignore direnv folder
"files.exclude" = {
".direnv" = true;
# TODO: Move to direnv module
# Ignore direnv folder
"files.exclude" = {
".direnv" = true;
};
};
};
};
};
};
}