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