Re: "Document font" preference

[Emmanuele Bassi <ebassi gmail com>]

On Wed, 2006-11-01 at 18:33 +0000, Gustavo J. A. M. Carneiro wrote:
> On Qua, 2006-11-01 at 18:26 +0000, Gustavo J. A. M. Carneiro wrote:
> >   In my font preferences I see a "Document font" option.  It affects the
> > gconf key /desktop/gnome/interface/document_font_name, which is
> > documented as "Name of the default font used for reading documents".
> > However, changing this font seems to have no effect on any GNOME
> > application.
> 
>   Sorry, someone on IRC pointed out bug #160454; it appears that Yelp
> uses this (I forgot to check it).

Also gnome-dictionary uses it.

>   By the way, wouldn't it be nice if gtk+ GtkTextView widgets used this
> font by default?

It should be set using the XSettings bridge like the other properties.

ciao,
 Emmanuele.


-- 
Emmanuele Bassi,  E: ebassi gmail com
W: http://www.emmanuelebassi.net
B: http://log.emmanuelebassi.net