This bug was fixed in the package gnome-tweak-tool - 3.5.5-0ubuntu1
--------------- gnome-tweak-tool (3.5.5-0ubuntu1) quantal; urgency=low
* New upstream release. - Fixes broken shell extensions panel (LP: #1035731) -- Jeremy Bicha <email address hidden> Fri, 17 Aug 2012 20:42:49 -0400
This bug was fixed in the package gnome-tweak-tool - 3.5.5-0ubuntu1
---------------
gnome-tweak-tool (3.5.5-0ubuntu1) quantal; urgency=low
* New upstream release.
- Fixes broken shell extensions panel (LP: #1035731)
-- Jeremy Bicha <email address hidden> Fri, 17 Aug 2012 20:42:49 -0400