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