GNOME 3 - font point sizes now scaled?
tomek at pipebreaker.pl
Fri Sep 30 16:47:00 UTC 2011
On Fri, Sep 30, 2011 at 02:59:58PM +0100, Daniel Drake wrote:
> On Fri, Sep 30, 2011 at 2:47 PM, Nicolas Mailhot
> <nicolas.mailhot at laposte.net> wrote:
> > Someone Gnome-side decided to not trust xorg dpi and added a new heuristic to
> > 'correct' it
> I know this is part of a rant.. but any chance you could quantify that
> point with a link to a commit, blog post, mailing list discussion,
> something like that?
Does http://people.gnome.org/~federico/news-2007-01.html count?
Or http://svn.gnome.org/viewvc/gnome-settings-daemon/branches/gnome-2-24/plugins/xsettings/gsd-xsettings-manager.c?view=markup#249 (line 249)?
Tomasz Torcz RIP is irrevelant. Spoofing is futile.
xmpp: zdzichubg at chrome.pl Your routes will be aggreggated. -- Alex Yuriev
More information about the devel