Problema desktop gnomint

[Pedro]

Su omg http://www.webupd8.org/2011/04/gnome-shell-extensions-additional.html li trovi tutti, ma avevo trovato un elenco ben dettagliato che però non trovo più  :ohno:

[Al]

basta disabilitare Movie Clock extension

Il problema è che da me quella estensione è già disabilitata :'(

[Pedro]

Se non hai messo altro, ti assicuro che era quello il problema, altrimenti prova a disabilitarle una ad una e vedi se sistema  :boh: (ti ricordo che devi riavviare la shell ad ogni extension che disabiliti)  ;D

[drugo]

vedi se puoi risolvere con "Workspacesmenu": http://www.lffl.org/2011/06/workspacesmenu-visualizzare-e-cambiare.html

[Al]

Adesso funziona! :)

Per la cronaca, era disabilitata anche "user themes extension". Una volta abilitata, ha preso a funzionare. :ciao: