Panther Launcher for Gnome Shell
This is an extension for Gnome Shell that allows to use Panther Launcher (a fork of Slingshot from Elementary OS) with Gnome Shell. It replaces the ACTIVITIES button with an APPLICATIONS button that, when clicked on, launches Panther Launcher.
How to install
and it will install the extension in your account. You also need to have installed Panther Launcher.
History of versions:
1: First public version 2: Added hotkey support (shows Panther Launcher using <Super>q