{ pkgs, lib, ... }: { programs = { vscode = { enable = true; package = pkgs.vscode; # keybindings = [ # { # key = "ctrl+c"; # command = "editor.action.clipboardCopyAction"; # when = "textInputFocus"; # } # ]; extensions = with pkgs.vscode-extensions; [ eamodio.gitlens catppuccin.catppuccin-vsc james-yu.latex-workshop jnoortheen.nix-ide kamadorueda.alejandra mkhl.direnv pkief.material-icon-theme streetsidesoftware.code-spell-checker tamasfe.even-better-toml esbenp.prettier-vscode mattn.lisp haskell.haskell ]; userSettings = { "git.confirmSync" = false; "editor.insertSpaces" = false; "files.autoSave" = "afterDelay"; "git.enableSmartCommit" = true; "nix.enableLanguageServer" = true; "nix.serverPath" = lib.getExe pkgs.nil; "nix.formatterPath" = lib.getExe pkgs.alejandra; "window.menuBarVisibility" = "toggle"; "workbench.iconTheme" = "material-icon-theme"; "workbench.startupEditor" = "none"; "workbench.colorTheme" = "Catppuccin Mocha"; "workbench.statusBar.visible" = false; "editor.multiCursorLimit" = 700000; }; }; }; }