Ik denk niet dat hun menu afkomt van gnome 3, ik heb 2 reviews gelezen waarin ze het menu launchpad noemen, het lijkt een aparte app te zijn, ik heb alleen geen idee waar die te vinden is. Is er anders een ander menu zoals takeoff voor kde of launchpad die op xfce draait?