Gnomenu is a full fetured  Gnome-Shell pop-up style apps-menu that icorperates all the essentials