Menu editor for the GNOME desktop