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.

  • nyan@lemmy.cafe
    link
    fedilink
    English
    arrow-up
    10
    ·
    1 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.

  • ChrislyBear@lemmy.world
    link
    fedilink
    English
    arrow-up
    9
    arrow-down
    1
    ·
    1 year ago

    Wow, all the ideas of the author are bad.

    Font size in pixels are a bad idea, because people have different screen resolutions. For some your text might be legible and for some it will be a text for ants. You don’t want that. Also a piece of paper doesn’t have pixels, so you’ll get different results for printed pages. You don’t want that as well.

    And the line height thing? No. Just no. Only because I have one larger letter anywhere in my text I don’t want to screw up the line spacing for the whole paragraph/text.

    Text size in px is objectively a bad idea.

  • exu@feditown.com
    link
    fedilink
    English
    arrow-up
    7
    arrow-down
    1
    ·
    1 year ago

    While the exact scaling being based on a square around the letter is bad, the ideas the author brings are quite terrible as well.
    We’ve been slowly adopting HiDPI screens over the last years and increasingly programs can actually scale with higher resolutions. At least on Linux with Xorg this scaling can be done by changing the DPI directly.
    Using pixels instead is an absolutely terrible idea, because now it won’t scale with DPI anymore. Much too big if you have an older screen with 1080p or lower resolutions and barely readable on 4k.

  • pragma@programming.dev
    link
    fedilink
    English
    arrow-up
    4
    arrow-down
    1
    ·
    1 year ago

    Font size is definitely not useless. The article assumes that it is, because not all displays are the same size or have identical ppi. However, you are meant to calibrate your scaling settings for typography so that a size 32 font will look identical in any calibrated display or on printed paper.

    If you don’t care about printed typography, you don’t need to bother with any of that.