Ich benutze gnome-do sehr oft und rufe es normalerweise mit [Super] + [Space] auf. Auf meinem Desktop-PC (Linux Mint 11) funktioniert es einwandfrei, aber auf meinem neuen ThinkPad T420 (Linux Mint 13) hat es nicht so gut funktioniert. Ich musste entweder zweimal auf Super oder Space tippen, um das Gnome-Do-Popup zu öffnen. Ich merkte schnell, dass dies aufgrund der Tastenkombination für das Menü (Super / Windows-Taste) geschah. Ich brauche die Menüverknüpfung für nichts.
Ich habe bereits Einstellungen -> Tastatur -> Verknüpfungen überprüft, aber es gab keine Einstellung wie "Menü" oder "Startmenü" oder ähnliches. Wo kann ich die Tastenkombination für das Menü deaktivieren?