mirror of
https://github.com/ghostty-org/ghostty.git
synced 2026-05-18 11:10:22 +00:00
Screen size is always an integer, it makes sense for padding to also be rounded to some integer.
Screen size is always an integer, it makes sense for padding to also be rounded to some integer.