On Tue, 2011-04-12 at 03:40 +0530, Rahul Sundaram wrote: > On 04/11/2011 08:59 PM, Clyde E. Kunkel wrote: > > Nice job. They are very useful. My personal preference is not to have > > the dock extension however. I find it distracting in its current > > incarnation. > > I think it sorts of serves a temporary clutch till you get used to the > new workflow in GNOME Shell. The reason that every extension is its own > sub package is precisely because I don't expect anyone to install all of > them. I guess I should leave this here: nils@gibraltar:~> gsettings get org.gnome.shell disabled-extensions ['dock@xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx', 'alternate-tab@xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx'] Hope that helps. One thing that'd be nice if experimental extensions could be disabled by default and would only be enabled if added to a hypothetical org.gnome.shell enabled-extensions key. Nils -- Nils Philippsen "Those who would give up Essential Liberty to purchase Red Hat a little Temporary Safety, deserve neither Liberty nils@xxxxxxxxxx nor Safety." -- Benjamin Franklin, 1759 PGP fingerprint: C4A8 9474 5C4C ADE3 2B8F 656D 47D8 9B65 6951 3011 -- test mailing list test@xxxxxxxxxxxxxxxxxxxxxxx To unsubscribe: https://admin.fedoraproject.org/mailman/listinfo/test