Menu editor for the GNOME desktop
