Probably there are reasons that make this impossible, so please take this a naïve suggestion (no offense intended to all the people working on this, especially William) --- but what about going back to the 13.04 situation? Now I am trying to reenable the ctl-alt-backspace x-kill (gnome shell tends to hang sometime...) and can't find how. The old layout setting option windows that Norbert is citing was really useful and covered all needs.
Probably there are reasons that make this impossible, so please take this a naïve suggestion (no offense intended to all the people working on this, especially William) --- but what about going back to the 13.04 situation? Now I am trying to reenable the ctl-alt-backspace x-kill (gnome shell tends to hang sometime...) and can't find how. The old layout setting option windows that Norbert is citing was really useful and covered all needs.