I installed Gnome-shell 3.2 & from Yast the gnome-shell-extensions, but it appears they are not working. + I downloaded the theme selector extension & put it under ~/local/share/gnome-shell/extensions, but also it didn’t work. Anybody can help?
Thank you…