GNOME 3 - font point sizes now scaled?

Jon Masters jonathan at
Tue Oct 4 17:11:06 UTC 2011

On Mon, 2011-10-03 at 12:56 -0400, Adam Jackson wrote:

> More to the point, your DPI numbers would be per-output anyway, so 
> there's no picking a single point size preference, the same size in 
> pixels would be different sizes in millimeters on each output.

In fairness, for my dual head setup I did what I always do: I bought a
matched pair of monitors from the same batch. EDID seems sane, too.


More information about the devel mailing list