Uso gnome-do molto e di solito lo convoco usando [Super] + [Spazio]. Funziona perfettamente sul mio PC desktop (Linux Mint 11) ma sul mio nuovo ThinkPad T420 (Linux Mint 13) non ha funzionato così bene. Ho dovuto toccare due volte super o spazio per aprire il popup di gnome-do. Mi sono reso conto rapidamente che ciò stava accadendo grazie alla scorciatoia da tastiera per il menu (pulsante super / windows). Non ho bisogno della scorciatoia del menu per niente.
Ho già controllato in Preferenze -> Tastiera -> Scorciatoie ma non c'erano impostazioni come "Menu" o "Menu Start" o qualcosa del genere. Dove posso disabilitare la scorciatoia da tastiera per il menu?