On Thu, Oct 06, 2011 at 11:35:08AM -0400, Simo Sorce wrote:

> I am sure display manager can easily grow a button to say something
> along the lines of: change font resolution to better fit multiple
> monitors. so that when someone that has widely varying DPIs between
> monitors plugs a second monitor in they can press that button and get
> whatever default you like best for that use case.

We could do that, but you'd still need toolkit support for triggering a 
re-render of everything. And it'd be pretty dreadful UI ("why doesn't 
this just happen automatically?"). And suddenly everything on your 
internal display would be a different size and possibly even in a 
different place.

-- 
Matthew Garrett | mj...@srcf.ucam.org
-- 
devel mailing list
devel@lists.fedoraproject.org
https://admin.fedoraproject.org/mailman/listinfo/devel

Reply via email to