GNOME 3 - font point sizes now scaled?
rc040203 at freenet.de
Mon Oct 3 16:22:22 UTC 2011
On 10/03/2011 06:01 PM, Michael Ekstrand wrote:
> On 10/03/2011 10:48 AM, Camilo Mesias wrote:
>> 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.
More information about the devel