On Thu, 2011-05-05 at 17:06 -0400, G. Michael Carter wrote: > 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.
Chances are high that I will add a UI for disabling / installing user extensions in gnome-tweak-tool for the next release (3.0.4) John > _______________________________________________ > gnome-shell-list mailing list > [email protected] > http://mail.gnome.org/mailman/listinfo/gnome-shell-list _______________________________________________ gnome-shell-list mailing list [email protected] http://mail.gnome.org/mailman/listinfo/gnome-shell-list
