Я часто использую gnome-do и обычно вызываю его, используя [Super] + [Space]. Он отлично работает на моем настольном ПК (Linux Mint 11), но на моем новом ThinkPad T420 (Linux Mint 13) он работает не так хорошо. Мне нужно было дважды нажать super или space, чтобы открыть всплывающее окно gnome-do. Я быстро понял, что это происходит из-за сочетания клавиш для меню (кнопка super / windows). Мне не нужен ярлык меню для чего-либо.
Я уже проверил в Предпочтения -> Клавиатура -> Ярлыки, но не было такой настройки, как «Меню», «Пуск» или что-то в этом роде. Где можно отключить сочетание клавиш для меню?