Eu uso muito o gnome-do e costumo convocá-lo usando [Super] + [Space]. Funciona muito bem no meu PC de mesa (Linux Mint 11), mas no meu novo ThinkPad T420 (Linux Mint 13) não funciona tão bem. Eu tive que tocar em super ou espaço duas vezes para abrir o pop-up do gnome-do. Eu rapidamente percebi que isso estava acontecendo devido ao atalho de teclado do menu (botão super / windows). Não preciso do atalho de menu para nada.
Eu já verifiquei Preferências -> Teclado -> Atalhos, mas não havia configurações como "Menu" ou "Menu Iniciar" ou algo assim. Onde posso desativar o atalho de teclado para o menu?