On Thu, 2011-10-06 at 17:12 +0100, Matthew Garrett wrote: > On Thu, Oct 06, 2011 at 12:00:36PM -0400, Simo Sorce wrote: > > > So in that case you really should just give an option to the user to > > easily change DPI (no need to call the option 'DPIs', it can be a slider > > with no mention of DPI if you prefer) *if* it is needed. > > Chances are that a much wider font resulting from high density primary > > display derived DPI number combined with low resolution video projector > > screen will show big fonts and that will happen to be *exactly* what you > > want so the guy back there at the end of the room has a chance to > > actually read something :) > > I absolutely agree that there should be an easy mechanism to globally > change font size. But I don't think tying it to DPI is helpful. Sure call it the way you prefer, does need to be DPI necessarily, but the concept of DPI would give a clue to all apps about what they are asked to do, whether it is font or some other rendering. Simo. -- Simo Sorce * Red Hat, Inc * New York -- devel mailing list devel@xxxxxxxxxxxxxxxxxxxxxxx https://admin.fedoraproject.org/mailman/listinfo/devel
