I am experiencing the same problem with the English international layout, and I have gnome-shell version 3.8.4-5+b1.
Thanks and regards, CoM -- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected]
