This extension adds a popup menu to the top bar of gnome-shell.
If you have any custom launchers, for example from a previous version of gnome-panel, or from your desktop, you can use the new popup to start these.
To populate the popup menu, put .desktop files into ~/.local/share/gnome-shell/quicklaunch/
Install this extension via https://extensions.gnome.org
Alternatively move the QuickLaunch@github.com
folder into ~/.local/share/gnome-shell/extensions
and use gnome-tweak-tool to enable it.
Popup menu entries are created by adding desktop files as defined by freedesktop.org into the data directory ~/.local/share/gnome-shell/quicklaunch/
.