Managing Extensions.

2011-05-05 Thread G. Michael Carter
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

Re: Managing Extensions.

2011-05-05 Thread John Stowers
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