On Mon, May 2, 2011 at 17:54, Damien Churchill <dam...@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: mag...@therning.org jabber: mag...@therning.org twitter: magthe http://therning.org/magnus