What happens when you set “font_size”: 32 in your favorite editor? I would’ve told you anyway, but I’m glad that you asked.

  • @[email protected]
    link
    fedilink
    English
    91 year ago

    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.