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: [EMAIL PROTECTED] W: http://www.emmanuelebassi.net B: http://log.emmanuelebassi.net _______________________________________________ desktop-devel-list mailing list desktop-devel-list@gnome.org http://mail.gnome.org/mailman/listinfo/desktop-devel-list