How do we change fonts now

Bastien Nocera bnocera at redhat.com
Mon Feb 28 18:08:26 UTC 2011


On Mon, 2011-02-28 at 09:58 -0800, Adam Williamson wrote:
> On Mon, 2011-02-28 at 17:46 +0000, Bastien Nocera wrote:
> > On Mon, 2011-02-28 at 09:32 -0800, Adam Williamson wrote:
> > > On Mon, 2011-02-28 at 17:25 +0000, Bastien Nocera wrote:
> > > 
> > > > > (I still think we should consider using auto-detected DPI by default,
> > > > 
> > > > Which is what it does (to the best of its abilities).
> > > 
> > > When you say 'it' - GNOME? X?
> > 
> > GNOME, I even gave you links to the code.
> 
> Sure, I wasn't sure if we were still talking about the same thing,
> though. =) As mentioned in the other follow-up, by 'we' I'm now talking
> about Fedora / free software in general - the place where 96dpi is
> mandated appears to be X.

You're more than welcome switching your DPI manually:
gsettings set org.gnome.settings-daemon.plugins.xsettings dpi 140

on your Vaio, and filing a bug about X.org.

There's nothing we can help with here. If we start breaking things,
maybe people will fix the backend of it :)



More information about the desktop mailing list