Change Font Sizes for taskbar buttons / main panel / app menubars

[Jasper Huijsmans]

At 04:12 PM 7/30/02 +0530, you wrote:
>On Tue, 30 Jul 2002 10:39:37 +0200, wolfgang wrote:
>
> > In an older episode (Tuesday 30 July 2002 06:44), Biju Chacko wrote:
> >
> > > I noticed with 3.8.18 that the font settings don't change unless you
> > > run gnomecc and make sure that 'Use custom font' is checked there.
> > >
> >
> > i cannot seem to find that, can you explain further where that box is?
>
>run 'gnomecc' the gnome control center. Click on "Theme Selector". You
>should see a checkbox marked 'Use Custom Font'. Ensure it is checked.
>
>This was not a problem with prior versions of xfce. Olivier?

To me it sounds a bit like gnome has somehow taken over management of the
.gtkrc file. Xfce simply writes a .gtkrc file, which includes the font
information. If there is a custom .gtkrc file present xfce will not
overwrite it and maybe gnome does.

Jasper

>-- Biju
>_______________________________________________
>Xfce mailing list
>Xfce at moongroup.com
>http://moongroup.com/mailman/listinfo/xfce