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.

  • exu
    link
    fedilink
    English
    91 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.