Impossible de lier guake sur la touche F12

Après la mise à jour vers Ububu 13.10, Guake n’apparaissait pas sur la touche F12. J’ai essayé de le changer en une autre touche F, mais le message “Impossible de lier la clé F12 globale”. Des idées comment obtenir que cela fonctionne à nouveau?

    Cela a été rapporté comme un problème à résoudre, ne semble pas être une solution pour le moment:

    https://github.com/Guake/guake/issues/316