Simple GNOME menu editor
