Re: Extensions Infrastructure Work

[Holger Berndt <berndth gmx de>]

On Tue, 28 Jun 2011 14:19:07 -0400, "Jasper St. Pierre"
<jstpierre mecheye net> wrote:

> You're free to disable it, go into
> ~/.local/share/gnome-shell/extensions and delete the directory to tidy
> it up.
> 
> Maybe this even a bit more simplistic, but I'm planning on removing
> the "Install" label, only exposing an "Enable" button, which will
> download if needed.

Yes, I agree that one doesn't need an "install" button, as it's implicit
with "enable". What I meant was a more user-friendly way to revert the
install process, to end up exactly where the user was before clicking
on the "enable" button. Without manually navigating to hidden paths
and deleting directories.

I'm just making that remark because I'd like that, but it's probably not
so important (with extensions typically being small and all).