2009/8/18 Martin Langhoff <[email protected]>: > 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
This was brought up earlier in the discussion. Yes, it's hopefully the light at the end of the tunnel. > 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 Feel free to suggest another option that can be implemented today. I feel that my proposal is technically sound given what we have right now, given its simplicity. Don't mess with DPI, just let deployers select font sizes that look good on their target systems, and give the users 2 nice simple buttons: get bigger, get smaller. It's simple and won't eat much developer time. It will allow things to look ok on XO and other platforms as long as there is someone who can select a good default base font size. It also fits nicely into what would come with GTK+3 since you'd just swap the backend control from "font size" to "scale factor" (or whatever equivalent knob comes out of all those discussions). The idea of deployers being able (and often required) to select a good default will remain, along with a dead-simple UI for changing it. It will be also interesting to see what the css/html world comes up with. I've seen a few discussions recently, they too are challenged by being a platform that's spreading to vastly different displays. Daniel _______________________________________________ Sugar-devel mailing list [email protected] http://lists.sugarlabs.org/listinfo/sugar-devel
