Re: Managing Extensions.

From: John Stowers <john stowers lists gmail com>
To: "G. Michael Carter" <mikey carterfamily ca>
Cc: gnome-shell-list <gnome-shell-list gnome org>
Subject: Re: Managing Extensions.
Date: Fri, 06 May 2011 10:47:45 +1200

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
> gnome-shell-list gnome org
> http://mail.gnome.org/mailman/listinfo/gnome-shell-list

References:
- Managing Extensions.
  - From: G. Michael Carter

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