Hacker News new | ask | show | jobs
by dfox 80 days ago
It uses exactly the same font in the desktop version, and is probably entirely intentional.
2 comments
ruevs 80 days ago
Intentional indeed. It is GNU Unifont - a 973KiB file that covers practically all of Unicode. In a bitmap font, platform independent, self contained, small. Practically all that SolveSpace strives to be.

https://www.unifoundry.com/unifont/index.html

Perhaps I've been using computers for too long but I actually like the non anti-aliased "sharp" and "pixely" look :-)

link
JoshTriplett 80 days ago
Pixelated can sometimes look okay on screens it was designed for. But I think the pixelated look improves with hinting that helps snap it to stroke widths, rather than randomly jumping between 1 and 2 pixels depending on how it happened to line up with the pixel grid.

This is what it looks like on my screen: https://imgur.com/a/YeAdiXC

A good pixel font would be a vast improvement over this, though I'd still prefer something that scales well (and respects the DPI of my screen, and isn't too small compared to the menu font...).

link
ruevs 80 days ago
Oh! This is very bad! It should not look like this.

I've tried Firefox, Chrome and Edge on Windows; Firefox and Chrome an Android phone and tablet and it renders correctly - like the desktop version.

What browser are you using? On what OS? Perhaps the web page is zoomed in/out in the browser? Scaling options in the browser? HiDPI screen with scaling?

Would you be willing to open an issue on GitHub with the details? Or just post them here.

link
JoshTriplett 79 days ago
Firefox, on Linux. Though I'd be genuinely surprised to hear the issue with scaling worked differently elsewhere.

Firefox is scaling its base size based on the screen, and then the page is scaled up further from there to have a readable font size. My base is 150% scaling, but the UI has comparably uneven strokes at many different scales and page sizes. (The strokes get less uneven the bigger they are, since at larger sizes there are more pixels to work with.)

Easy way to compare font scaling quality: At any scale, hitting one of the "change" links in the configuration menu brings up a browser UI element, using a font that looks great at any size.

Happy to file a report with the details.

link
phkahler 80 days ago
Even the desktop version sometimes. If I open on one monitor and move to another with different scale factor. It seems Windows lies about window resolution.
link
JoshTriplett 80 days ago
I assumed it likely looked like the desktop version, and that was exactly what was motivating my question.
link