Alacritty: more reasonable font scale

This commit is contained in:
Filippo Berto 2023-04-16 17:12:20 +02:00
parent ea507cd753
commit 6956bd824a
No known key found for this signature in database
GPG key ID: FE98AE5EC52B1056

View file

@ -33,7 +33,7 @@ in
scrolling.history = 3000;
font = {
normal.family = pkgs.rice.font.monospace.name;
size = pkgs.rice.font.monospace.size / 1.2; # Font size is broken
size = pkgs.rice.font.monospace.size / 1.5; # Font size is broken
};
window.opacity = pkgs.rice.opacity;
mouse = {