GNOME 3 - font point sizes now scaled?

[Jon Masters]

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.

Jon.