Alacritty: fix font scale

This commit is contained in:
Filippo Berto 2023-04-14 11:45:20 +02:00
parent cf3b068c08
commit 2395a25adf
No known key found for this signature in database
GPG key ID: FE98AE5EC52B1056

View file

@ -33,18 +33,17 @@ in
scrolling.history = 3000; scrolling.history = 3000;
font = { font = {
normal.family = pkgs.rice.font.monospace.name; normal.family = pkgs.rice.font.monospace.name;
size = pkgs.rice.font.monospace.size / 1.5; # Font size is broken size = pkgs.rice.font.monospace.size / 1.2; # Font size is broken
}; };
window.opacity = pkgs.rice.opacity; window.opacity = pkgs.rice.opacity;
mouse = { mouse = {
# hide_when_typing = true; # hide_when_typing = true;
hints.modifiers = "Control"; hints.modifiers = "Control";
}; };
colors = with pkgs.rice; colors = strPalette // {
strPalette // { selection.text = "CellForeground";
selection.text = "CellForeground"; search.matches.foreground = "CellForeground";
search.matches.foreground = "CellForeground"; };
};
}; };
}; };
} }