Re: gnome-menu changes