dln/dotfiles
0
0
Code Issues Pull requests 1 Activity

ghostty: reduce font size a bit

Browse source
This commit is contained in:
Daniel Lundin 2025-01-06 19:03:55 +01:00
parent 81f036c147
commit 0b6313671c
Signed by: dln
SSH key fingerprint: SHA256:dQy1Xj3UiqJYpKR5ggQ2bxgz4jCH8IF+k3AB8o0kmdI
1 changed files with 2 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
home/common/ghostty.nix
View file

@ -12,7 +12,7 @@
enableFishIntegration = true; enableFishIntegration = true;
package = inputs.ghostty.packages.${pkgs.system}.default; package = inputs.ghostty.packages.${pkgs.system}.default;
settings = { settings = {
font-size = 14; font-size = 12.5;
font-family = "TX-02"; font-family = "TX-02";
font-family-bold-italic = "Monaspace Xenon"; font-family-bold-italic = "Monaspace Xenon";
font-style-bold = "Bold"; font-style-bold = "Bold";
@ -34,7 +34,7 @@
gtk-single-instance = true; gtk-single-instance = true;
gtk-tabs-location = "hidden"; gtk-tabs-location = "hidden";
gtk-titlebar = false; gtk-titlebar = false;
window-padding-x = 12; window-padding-x = 0;
window-padding-y = 0; window-padding-y = 0;
window-padding-balance = true; window-padding-balance = true;
window-padding-color = "extend"; window-padding-color = "extend";