Re: "Document font" preference

["Gustavo J. A. M. Carneiro" <gjc inescporto pt>]

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).

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

-- 
Gustavo J. A. M. Carneiro
<gjc inescporto pt> <gustavo users sourceforge net>
The universe is always one step beyond logic