Search results for "extension"
1.
Google Shell (Dark & 3.2 compatible!)
Gnome Shell Themes
by
plaidcounty
extension to select it. OR, backup your /usr/share/gnome-shell/theme folder and replace everything inside
6.9
Oct 20 2011