19
[2021] Font size is useless; let’s fix it
(tonsky.me)
Welcome to the main community in programming.dev! Feel free to post anything relating to programming here!
Cross posting is strongly encouraged in the instance. If you feel your post or another person's post makes sense in another community cross post into it.
Hope you enjoy the instance!
Rules
Follow the wormhole through a path of communities !webdev@programming.dev
The problem is that points and pixels aren't directly comparable, but someone insisted on trying to make a universal definition mapping the former to the latter. We need to get rid of that mapping and return to treating points as a physical size that occupies a different number of pixels depending on the physical resolution of the display. Getting the mapping correct for any given display then becomes the problem of the people coding the font library, which is as it should be. Not only should fonts not be specified in pixels, but it should not be possible to specify the size of a font in pixels unless you're programming for embedded or other unusual use cases.