eddiefullmetal/gnome-shell-extensions — pull request #9 by mathematicalcoffee (2012-10-05 00:26:35+00:00)
Title: Added panel transparency slider

Hi,

Nice work on the extension.

I added a popup menu slider to the menu to control panel opacity, if you're interested.

My commit message said it didn't work in GNOME 3.2, but it does (turns out I had another extension interfering with this one). It also works in 3.4. Haven't tested on 3.6, but I assume it would. (There is also an old comment in there saying "TODO: panel transparency doesn't work in 3.2" which can be removed, since it does work in 3.2).

cheers