Rare scrambled text on Gnome Shell

Very rare. Can be triggered by typing fast. This bug is strange because with Gtk apps, we commit by forwarding each key, so in theory (and practice with other gtk apps), it should not mess with the order of keys received by the app.
