this post was submitted on 04 Jul 2023
20 points (85.7% liked)

Programming

17299 readers
705 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
 

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.

you are viewing a single comment's thread
view the rest of the comments
[–] [email protected] 9 points 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.