nyancat/flake
1
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

home, sway: modify vscode configuration

Browse source
This commit is contained in:
Guanran Wang 2023-11-22 08:31:01 +08:00
parent 15a2fe7ffe
commit 1cd12ecf97
Signed by: nyancat
SSH key fingerprint: SHA256:8oWGKciPALWut/6WA27oFKofX+6Wtc0gQnsefXLQx/8
2 changed files with 16 additions and 10 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

15
users/guanranwang/home-manager/modules/editor/vscode.nix
View file

@ -26,7 +26,8 @@
editor.cursorSmoothCaretAnimation = "on";
editor.fontFamily = lib.mkDefault "Monospace";
editor.fontWeight = 600;
editor.tabSizem = 2;
editor.smoothScrolling = true;
editor.tabSize = 2;
explorer.confirmDragAndDrop = false;
explorer.confirmDelete = false;
files.autoSave = "onFocusChange";
@ -34,13 +35,17 @@
files.trimFinalNewlines = true;
security.workspace.trust.enabled = false;
telemetry.telemetryLevel = "off";
terminal.external.osxExec = "Alacritty.app";
terminal.integrated.cursorBlinking = true;
update.mode = "none";
terminal.integrated.cursorStyle = "line";
terminal.integrated.smoothScrolling = true;
window.menuBarVisibility = "toggle";
workbench.colorTheme = "Tokyo Night";
workbench.list.smoothScrolling = true;
window.titleBarStyle = "custom"; # workaround
# Workaround for VSCode crashing
# https://github.com/microsoft/vscode/issues/184124
window.titleBarStyle = "custom";
workbench.layoutControl.enabled = false;
window.commandCenter = false;
# Language specific
### Nix

11
users/guanranwang/home-manager/profiles/graphical-stuff/darwin/default.nix
View file

@ -53,14 +53,15 @@
monospace = "JetBrainsMono Nerd Font";
in {
### VSCode
vscode.userSettings."editor.fontFamily" = "${monospace}";
vscode.userSettings.editor.fontFamily = monospace;
vscode.userSettings.terminal.external.osxExec = "Alacritty.app";
### Alacritty
alacritty.settings.font = {
normal.family = "${monospace}";
bold.family = "${monospace}";
bold_italic.family = "${monospace}";
italic.family = "${monospace}";
normal.family = monospace;
bold.family = monospace;
bold_italic.family = monospace;
italic.family = monospace;
};
};
}