Federico Bruni scrisse in data 25/09/2013 17:31:
ci ho pensato molto a suo tempo ma mi sembra di ricordare che i vari plugin dipendono da gnome-session non da gnome-shell quindi ho optato per assegnare il bug a gnome-session.Grazie, mi sono iscritto. Però il bug l'avrei segnalato per gnome-shell, non gnome-session
Ciao Piviul