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.
acquired package info from repodata DB: repodata/f0b2606f1dc0294014b17bb8ea9231f0129611b4c9610b9db40f82da2b1f63da-primary.sqlite.bz2
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.