I was just going to suggest a extension manager in the system tools area... then thought... I guess we already have one for enable/disabling gnome-shell-extensions. It's called PackageKit.
_______________________________________________ gnome-shell-list mailing list gnome-shell-list@gnome.org http://mail.gnome.org/mailman/listinfo/gnome-shell-list