feat(foot): make font family and font size customizable
This commit is contained in:
parent
8b11ea82f0
commit
0d122d5914
1 changed files with 12 additions and 1 deletions
|
@ -12,6 +12,17 @@ in
|
||||||
default = 2500;
|
default = 2500;
|
||||||
description = "numbers of scrollback lines in history";
|
description = "numbers of scrollback lines in history";
|
||||||
};
|
};
|
||||||
|
font-family = mkOption {
|
||||||
|
type = types.str;
|
||||||
|
default = "Fira Code Nerd Font";
|
||||||
|
description = "font family used in Foot";
|
||||||
|
};
|
||||||
|
|
||||||
|
font-size = mkOption {
|
||||||
|
type = types.str;
|
||||||
|
default = "10";
|
||||||
|
description = "font size used in Foot";
|
||||||
|
};
|
||||||
};
|
};
|
||||||
|
|
||||||
config = mkIf cfg.enable {
|
config = mkIf cfg.enable {
|
||||||
|
@ -19,7 +30,7 @@ in
|
||||||
enable = true;
|
enable = true;
|
||||||
settings = {
|
settings = {
|
||||||
main = {
|
main = {
|
||||||
font = "Fira Code Nerd Font Mono:size=10";
|
font = "${cfg.font-family}:size=${cfg.font-size}";
|
||||||
pad = "5x5 center";
|
pad = "5x5 center";
|
||||||
};
|
};
|
||||||
mouse = {
|
mouse = {
|
||||||
|
|
Loading…
Add table
Add a link
Reference in a new issue