I noticed a bug for this extension and reported it at https://bugzilla.gnome.org/show_bug.cgi?id=655432
Could the original author of the extension (or anyone experiencing the same problem) give his opinion on this, please? _______________________________________________ gnome-shell-list mailing list [email protected] http://mail.gnome.org/mailman/listinfo/gnome-shell-list
