would you believe that there IS no menu editor? sad but true. AFAIK they migrated to a standard menuing configuration from their own custom one, and forgot to make it editable... There are backend xml config files somewhere though, not sure quite where though. The latest version of gnome, 2.12, does have one though, and is really worth the upgrade.
|