J'ai eu une réponse sur le bugzilla.
Thanks for taking the time to report this bug.
This particular bug has already been reported into our bug tracking system, but
we are happy to tell you that the problem has already been fixed, at least for
some test cases. The fix is available in version 3.12.
Please let us know if you still see this bug when you get version 3.12 or
later, and feel free to report any further bugs you find.
Bon, je n'ai plus qu'à attendre que Gnome 3.12 sorte dans les dépôts en version stable, et ça devrait aller.
Voici, pour ceux que ça intéresse,
le lien du premier rapport de bug concernant ce problème.