Input source switching fixes

[Rui Tiago Cação Matos <tiagomatos gmail com>]

Hi,

there's a couple of bugs related to input source switching that I want
to fix for Fedora 19. These bugs are:

a) modifiers-only keybinding (e.g. Shift+Caps) not working in any
non-normal gnome-shell mode (e.g. the overview, lock screen, gdm);

b) key events being "lost" to the previous input source during a brief
time window after a switch.

Here's the bug reports with the patches:

* gnome-settings-daemon
  - https://bugzilla.gnome.org/show_bug.cgi?id=696996
  - https://bugzilla.gnome.org/show_bug.cgi?id=685567
  - https://bugzilla.gnome.org/show_bug.cgi?id=700349

* gnome-control-center
  - https://bugzilla.gnome.org/show_bug.cgi?id=700346

* mutter
  - https://bugzilla.gnome.org/show_bug.cgi?id=697001
  - https://bugzilla.gnome.org/show_bug.cgi?id=697002

* gnome-shell
  - https://bugzilla.gnome.org/show_bug.cgi?id=697007
  - https://bugzilla.gnome.org/show_bug.cgi?id=697008
  - https://bugzilla.gnome.org/show_bug.cgi?id=697009

Both of these issues have been a sore point for a while as you can see
from the number of duplicate bugs in some of those. So I think it
would be nice to fix them in the upstream stable branches (3.8) and
then do 3.8.3 releases for the 4 affected modules but this is
potentially problematic because people will end up with broken setups
if they (or their distribution) don't update all the modules at the
same time.

So I'd like to know what's your opinion on this and how to best handle
it if you agree in landing these fixes in the 3.8 branches.

Thanks,
Rui