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