From fbc70228ae394b5eb0df6d73a8f3d7042fd8594e Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Laure=CE=B7t?= Date: Sun, 31 Mar 2024 16:17:33 +0200 Subject: [PATCH] =?UTF-8?q?=F0=9F=94=A7=20(home)=20update=20vscode=20confi?= =?UTF-8?q?g?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- home/vscode/default.nix | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/home/vscode/default.nix b/home/vscode/default.nix index 20faa06..484e462 100644 --- a/home/vscode/default.nix +++ b/home/vscode/default.nix @@ -29,7 +29,7 @@ "gitmoji.showEmojiCode" = true; "terminal.integrated.fontFamily" = "'FiraCode Nerd Font Mono', 'Noto Color Emoji'"; "window.menuBarVisibility" = "toggle"; - "window.zoomLevel" = -0.25; + "window.zoomLevel" = -0.5; "workbench.colorTheme" = "Catppuccin Mocha"; "workbench.editor.empty.hint" = "hidden"; "workbench.iconTheme" = "catppuccin-mocha"; @@ -43,6 +43,8 @@ "julia.enableTelemetry" = false; "julia.symbolCacheDownload" = true; "terminal.integrated.commandsToSkipShell" = ["language-julia.interrupt"]; + "diffEditor.ignoreTrimWhitespace" = false; + "editor.rulers" = [120]; }; }; }