[arch-general] Gnome 3, a bug?

[Magnus Therning]

On Mon, May 2, 2011 at 17:54, Damien Churchill <damoxc at gmail.com> wrote:
> You can disable extensions, taken from the Gnome Shell extensions page [1]
>
> "Per-user and systemwide extensions can be disabled with the GSettings
> key org.gnome.shell.disabled-extensions"
>
> [1] http://live.gnome.org/GnomeShell/Extensions

Yes, indeed it does say that, but it doesn't say how to actually
disable them :-)

I've tried to disable AlternateTab without success.  Here's what I've
tried so far:

% gsettings set org.gnome.shell disabled-extensions "@as ['AlternateTab']
% gsettings set org.gnome.shell disabled-extensions "@as ['alternate-tab']

Has anyone else managed to disable extensions?

/M

-- 
Magnus Therning                      OpenPGP: 0xAB4DFBA4
email: magnus at therning.org   jabber: magnus at therning.org
twitter: magthe               http://therning.org/magnus