Editor de menu para personalizar o Gnome
