GNOME 3 - font point sizes now scaled?

[Michael Ekstrand]

On 10/03/2011 10:48 AM, Camilo Mesias wrote:
> Hi,
> 
> A daft question perhaps, but I thought...
> 
>> I'm not sure how we can make DPI magically be correct in gazillions of
>> broken displays' EDID.
> 
> How do other OS' do it?

I don't know that they do. In my use of Windows up through XP, I never
saw evidence of it re-scaling fonts based on DPI, at least for general
UI use (word processors may do so).

- Michael