Re: Milestones document

[Jacob Berkman <jberkman andrew cmu edu>]

Craig Orsinger <orsingerc@epg-gw1.lewis.army.mil> writes:

>         GNOME's menus are normally built dynamically. You can turn this
> off in the panel control screen somewhere. I tend to leave it on because
> I'm adding things to the menus fairly often. The setting appears to be
> in Global Panel Properties/Miscellaneous. It's called "Keep menus in
> memory".

The panel should update menus after they are changed... if not it is a bug.
Even with that feature enabled.

Jacob
-- 
"Me fail English?  That's unpossible!" - R. Wiggum