[ubuntu-ar] extensiones gnome-shell

[Josti]

Estimados listeros:

Tengo U 14.04 con gnome-shell y tweak-tool.

Instalo una extension y las instrucciones dicen que las 
tengo que habilitar en tweak, "Herramienta de retoques", 
pero ocurre que allí no aparecen ítems de extensiones ni  de 
seteos avanzados.
Así que no puedo habilitar nada, a pesar de que dichas 
extensiones estan instaladas.

Que puede estar pasando?

Agradezco sus sugerencias.

Saludos
Josti