I've downloaded the gnome-shell theme extention. Using the default theme has no problem, but as soon as I try using one of the themes, clicking the "windows" key, then writing something to start searching for it, and the X server gets stuck.
I'm using Ubuntu 10.11, with gnome shell verion 3.2.2
Thanks for your help
Yair