GNOME 3 - font point sizes now scaled?

[Ralf Corsepius]

On 10/03/2011 06:01 PM, Michael Ekstrand wrote:
> 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).

The XP I occasionally can not avoid to use, in its system control menus 
has controls to switch between "normal", "big" "very big" fonts and 
"expert/advanced controls" one can specify fonts sizes for many details 
of the DE in pnts.

Ralf