On Tue, 28 Jun 2011 14:19:07 -0400, "Jasper St. Pierre" <jstpie...@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). _______________________________________________ gnome-shell-list mailing list gnome-shell-list@gnome.org http://mail.gnome.org/mailman/listinfo/gnome-shell-list
