> You specifically mentioned the terminal, I thought that was your issue. In a different context - I meant that I don't care about vertical resolution, font ac

> You specifically mentioned the terminal, I thought that was your issue. In a different context - I meant that I don't care about vertical resolution, font accuracy, color accuracy[1], etc., because my work doesn't require that. My problem isn't (just) the size of the font in the terminal (and the rendering on open-source fonts on a Linux terminal is perfectly fine, in any case). > Higher resolution is always better, in my book. On Linux, sure, higher resolution is no worse, but that doesn't mean I care about the marginal difference that much. On OS X, that's not the case, but it's not as simple as the resolution, but the resolution combined with the font size, and the size of icons/toolbars/etc., as well as the inability to change global font size, etc. Because the fine-grained tools don't exist, for me, the lower resolution ends up being slightly better, even if some (theoretical) combination of higher resolution and larger font/icon size., etc. could be even better than that. [1] So I can use tools like Redshift, flux, etc.