J'utilise beaucoup gnome-do et généralement je l'invoque en utilisant [Super] + [Space]. Cela fonctionne très bien sur mon PC de bureau (Linux Mint 11) mais sur mon nouveau ThinkPad T420 (Linux Mint 13), cela ne fonctionnait pas aussi bien. J'ai dû appuyer deux fois sur super ou espace pour ouvrir la fenêtre contextuelle gnome-do. J'ai rapidement réalisé que cela se produisait en raison du raccourci clavier pour le menu (bouton super / windows). Je n'ai besoin du raccourci de menu pour rien.
J'ai déjà vérifié dans Préférences -> Clavier -> Raccourcis mais il n'y avait aucun paramètre tel que "Menu" ou "Menu Démarrer" ou quelque chose comme ça. Où puis-je désactiver le raccourci clavier pour le menu?