I like this extension very much, but I've disabled with gnome-shell 3.6.3 because it introduce a lot of unstability. Did you experienced same issue?
Thanks -- Ciao* Donato* <http://it.linkedin.com/in/donatomarrazzo>
_______________________________________________ gnome-shell-list mailing list gnome-shell-list@gnome.org https://mail.gnome.org/mailman/listinfo/gnome-shell-list
