This extension moves the dash into the gnome main panel. WWW: https://github.com/home-sweet-gnome/dash-to-panel
Created attachment 211241 [details] gnome-shell-extension-dashtopanel.shar
Ups, somehow i created a dub.. *** This bug has been marked as a duplicate of bug 243771 ***