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

home: terminal: re-add padding

Browse source 
accidentally commited in 40fe7d2035
This commit is contained in:
Guanran Wang 2024-01-10 04:42:07 +08:00
parent 02fed5f29b
commit 24f5667327
Signed by: nyancat
SSH key fingerprint: SHA256:8oWGKciPALWut/6WA27oFKofX+6Wtc0gQnsefXLQx/8
1 changed files with 2 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
users/guanranwang/home-manager/modules/terminal.nix
View file

@ -45,8 +45,8 @@ in {
padding = lib.mkOption { padding = lib.mkOption {
type = lib.types.int; type = lib.types.int;
default = 0; default = 8;
example = 8; example = config.myFlake.home-manager.terminal.fontSize;
description = "Select desired terminal padding size (in px)."; description = "Select desired terminal padding size (in px).";
}; };
}; };