this post was submitted on 04 Jul 2023
19 points (85.2% liked)
Programming
17503 readers
7 users here now
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
Rules
- Follow the programming.dev instance rules
- Keep content related to programming in some way
- If you're posting long videos try to add in some form of tldr for those who don't want to watch videos
Wormhole
Follow the wormhole through a path of communities [email protected]
founded 1 year ago
MODERATORS
you are viewing a single comment's thread
view the rest of the comments
view the rest of the comments
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.