terminal: add padding

This commit is contained in:
Elnu 2023-02-20 16:55:08 -08:00
parent 588b28ffc1
commit 393abd75a8

View file

@ -12,7 +12,7 @@ in
name = "FiraCode Nerd Font Mono"; name = "FiraCode Nerd Font Mono";
size = 12; 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 = { programs.bash.shellAliases = {
# Fix for ""'xterm-kitty': unknown terminal type" error in remote sessions # Fix for ""'xterm-kitty': unknown terminal type" error in remote sessions