> I believe Ctrl-Shift might be subject of holywars which rice periodically on > maillists, Google should confirm it I think :) I agree. So I want the behaviour with delay switch as an option only, for people like me. That is, that option is to be set up in gnome-keyboard-properties or so.