esiste inoltre un editor di menù per gnome; un pò come kmenuedit?