On Tue, Aug 18, 2009 at 12:16 PM, Martin Langhoff<martin.langh...@gmail.com> wrote: > I agree with dsd that users should not be able to 'tweak' DPI, but I > am also concerned that font sizes may be bumped up or down a bit for > the sake of the user. But not to very large values -- if a user needs > fonts to be significantly larger, we need to scale the whole UI for > that user.
IOWs, I pine for this gtk+ v3 patch http://bugzilla.gnome.org/show_bug.cgi?id=546711 which was introduced with a very insightful discussion thread http://mail.gnome.org/archives/gtk-devel-list/2008-August/msg00044.html see specially http://mail.gnome.org/archives/gtk-devel-list/2008-August/msg00068.html Hmmm. You guys are papering over this gtk shortcoming -- which is bound to be confusing. Here's a candle for GTK+v3 :-) martin -- martin.langh...@gmail.com mar...@laptop.org -- School Server Architect - ask interesting questions - don't get distracted with shiny stuff - working code first - http://wiki.laptop.org/go/User:Martinlanghoff _______________________________________________ Sugar-devel mailing list Sugar-devel@lists.sugarlabs.org http://lists.sugarlabs.org/listinfo/sugar-devel