From 393abd75a80002443ca45014bcd4fe3d7067cc01 Mon Sep 17 00:00:00 2001 From: ElnuDev Date: Mon, 20 Feb 2023 16:55:08 -0800 Subject: [PATCH] terminal: add padding --- modules/terminal/default.nix | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/modules/terminal/default.nix b/modules/terminal/default.nix index f62cc7e..67799b3 100644 --- a/modules/terminal/default.nix +++ b/modules/terminal/default.nix @@ -12,7 +12,7 @@ in name = "FiraCode Nerd Font Mono"; size = 12; }; - extraConfig = "enable_audio_bell 0\nconfirm_os_window_close 0\nbackground_opacity 0.7"; + extraConfig = "enable_audio_bell 0\nconfirm_os_window_close 0\nbackground_opacity 0.7\nwindow_padding_width 2"; }; programs.bash.shellAliases = { # Fix for ""'xterm-kitty': unknown terminal type" error in remote sessions