Re: Extensions Infrastructure Work

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).

[Date Prev][Date Next]   [Thread Prev][Thread Next]   [Thread Index] [Date Index] [Author Index]