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. -- Matthew Garrett | mjg59@xxxxxxxxxxxxx -- devel mailing list devel@xxxxxxxxxxxxxxxxxxxxxxx https://admin.fedoraproject.org/mailman/listinfo/devel
