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(a)srcf.ucam.org