Hello,
I tried to install the gnome extension as indicated in
http://www.if-not-true-then-false.com/2012/gnome-shell-tweaking-extension...
But I can never have even one extension installed!!!
Regards.
======================================================================
Patrick DUPRÉ | | email: pdupre(a)kegtux.org
======================================================================