In the gnome help file for the panel under Configuring a Menu, it says that
it can be done be selecting Main->menu->Settings->User Interface->Themes
using the GNOME COntrol Center. Nothing like this in GNOME Control
Center. In fact, how do you change menu fonts?
If you look in the control center under the Theme Selector Capplet there is a
'User Font' button which allows you to change the default font. This applies to
the menus in all cases here on test boxes.
Documentation is still not correct!
It is correct - unless you have your panel background set to a color or an
image, which is addressed earlier. If you change the theme and the font - it
changes in the panel, and the main menu as well... at least here on my test
machine it does.
OK, I believe we are not communicating. I am not talking about the gnome
control panel itself but about the related HELP file. What the HELP file says
Please look at file:/usr/share/gnome/help/users-guide/C/menus.html.
In this file it says:
"... The answer is that it is determined by the current GTK Theme, which can be
changed using the GNOME Control Center by selecting Main Menu->Settings->User
Now compare this "documentation" with the actual proces to change fonts.
OK - I think I see the problem... it is that it says 'User Interface'
instead of 'Desktop -> Theme Selector' right? Is that the only
problem? If so it may come out as an errata later as this cannot be
seen as a MUST-FIX for now (we are working on 'show stoppers' if you
will) - and changing one sentence in the GUG is probably not going to
be registered as a show stopper unfortunately :)
Have I got the problem correct or was there more to it than that?
Not a showstopper by any means but it would be nice to get it corrected someday
before we start using the followon to Gnome.
I beleive you now have some handle on the problem. However, it is not just the
use of "User Interface" instead of "Desktop", it is also the "Main
I am changing the resolution to Deferred since is is certainly not a