This bug was fixed in the package gnome-shell - 3.10.4-0ubuntu5.1
--------------- gnome-shell (3.10.4-0ubuntu5.1) trusty; urgency=medium
* debian/patches/alternate-key-focus.patch: Keep key focus when switching between alternatives (LP: #1316918) -- Attila Hammer <email address hidden> Wed, 07 May 2014 08:08:14 +0200
This bug was fixed in the package gnome-shell - 3.10.4-0ubuntu5.1
---------------
gnome-shell (3.10.4-0ubuntu5.1) trusty; urgency=medium
* debian/ patches/ alternate- key-focus. patch: Keep key focus when
switching between alternatives (LP: #1316918)
-- Attila Hammer <email address hidden> Wed, 07 May 2014 08:08:14 +0200