Re: Milestones document
- From: Jacob Berkman <jberkman andrew cmu edu>
- To: Craig Orsinger <orsingerc epg-gw1 lewis army mil>
- Cc: gnome-list gnome org
- Subject: Re: Milestones document
- Date: 07 Dec 1999 17:13:49 -0500
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
[
Date Prev][
Date Next] [
Thread Prev][
Thread Next]
[
Thread Index]
[
Date Index]
[
Author Index]