ghostty: convert font-size setting from px to pt (#1990)

Convert the font-size setting from px to pt by reverting commit
3e2c930ce0 ("ghostty: convert font-size setting from pt to px
(#1971)") because Ghostty measures font size in points, which was
previously incorrectly determined.

Link: https://github.com/nix-community/stylix/pull/1990
Reverts: 3e2c930ce0 ("ghostty: convert font-size setting from pt to px (#1971)")

Reviewed-by: pancho horrillo <pancho@pancho.name>
This commit is contained in:
NAHO 2025-11-19 19:05:21 +01:00 committed by GitHub
parent f1385f026d
commit 46ab7e000e
No known key found for this signature in database
GPG key ID: B5690EEEBB952194

View file

@ -15,9 +15,7 @@ mkTarget {
fonts.monospace.name
fonts.emoji.name
];
# 4/3 factor used for pt to px;
font-size = fonts.sizes.terminal * 4.0 / 3.0;
font-size = fonts.sizes.terminal;
};
}
)