From 7d505628dba6c8e5ab4ac67ddd60f16d281fe00f Mon Sep 17 00:00:00 2001 From: Nilstrieb <48135649+Nilstrieb@users.noreply.github.com> Date: Wed, 3 Jan 2024 18:00:58 +0100 Subject: [PATCH] vscode settings --- home-manager/vscode.nix | 9 ++++++++- 1 file changed, 8 insertions(+), 1 deletion(-) diff --git a/home-manager/vscode.nix b/home-manager/vscode.nix index 595f608..4e5e7a7 100644 --- a/home-manager/vscode.nix +++ b/home-manager/vscode.nix @@ -4,6 +4,13 @@ package = pkgs.vscode; enableUpdateCheck = false; mutableExtensionsDir = false; + keybindings = [ + { + key = "ctrl+[BracketRight]"; + command = "workbench.action.terminal.focus"; + when = "terminalProcessSupported"; + } + ]; userSettings = { # Note: In settings.json, `.` in a key is not equivalent to a nested object property. # Language-specific @@ -34,7 +41,7 @@ "debug.allowBreakpointsEverywhere" = false; # "editor.fontFamily" = "'Monaspace Neon Var', Arial"; "editor.fontLigatures" = true; - "terminal.integrated.scrollback" = 20000; + "terminal.integrated.scrollback" = 10000; }; extensions = with pkgs.vscode-extensions; [ bmalehorn.vscode-fish