J'utilise gnome-faire beaucoup et généralement je l'invite à utiliser [Super] + [Espace]. Cela fonctionne très bien sur mon ordinateur de bureau (Linux Mint 11) mais sur ma nouvelle ThinkPad T420 (Linux Mint 13), cela ne fonctionnait pas bien. Je devais appuyer deux fois sur Super ou Space pour ouvrir le gnome-do popup. J'ai rapidement compris que cela se produisait en raison du raccourci clavier pour le menu (bouton Super/Windows). Je n'ai pas besoin du raccourci de menu pour quoi que ce soit.
J'ai déjà vérifié dans les préférences -> Keyboard -> Raccourcis mais il n'y avait pas de tel paramètre de "menu" ou "Menu Démarrer" ou quelque chose comme ça. Où puis-je désactiver le raccourci clavier pour menu?
Après ces étapes sur Arch Linux avec Cinnamon 1.4UP3-1, j'ai pu utiliser à nouveau Gnome.
Voici une solution qui ne nécessite pas de violation des paramètres système. Testé sur la menthe 14 mate, mais devrait travailler sur la cannelle aussi.
Voila - Il y a maintenant des taches d'attente pour le menu ainsi que Gnome.
Sur la cannelle sur Linux Mint 13 (Maya) Le raccourci "actif du menu de la fenêtre" (lié par défaut à l'espace alt +) est sous Menu -> Préférences -> Clavier -> Raccourcis. Cliquez simplement sur la ligne correspondante pour modifier ou désactiver la liaison.
Touche de menu gauche du bouton gauche sous-menu Down sous-fenêtre
sélectionnez Raccourci pour Ouvrir Fermer le menu
La solution précédente vous empêche d'utiliser Alt pour créer un raccourci