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