Dock for the Gnome Shell by micxgx@gmail.com
This extension enhances the dash moving it out of the overview and transforming it in a dock for an easier launching of applications and a faster switching between windows and desktops without having to leave the desktop view.
acquired package info from repodata DB: repodata/1878cc60a19e65efc93d1a539275c5a6799b0acbd7796ee105712c44cae47ab4-primary.sqlite.bz2
Modify and extend GNOME Shell functionality and behavior
The GNOME Shell Extensions package contains a library of function which can support GNOME Shell to execute additional and optional function.