keyboard shortcuts, как отключить лишнее? Опции

[SM]

Весь мозг сломал. Как (gnome-terminal, Centos 7) сделать так, чтобы сочетания клавиш Ctrl-Ins / Shift-Ins проходили в терминал, а не занимались copy/paste из гуевой clipboard? unbind в .gtkrc-2.0 / gtk.css не помогает, в system.mwmrc о них нет упоминания. В гуёвых настройках (gnome-control-center / keyboard / shortcuts и в самом gnome-terminal / Preferences / Shortcuts) про эти сочетания ничего нет.
ГДЕ ЕЩЕ?????

[AHTOXA]

Я отучал gnome-terminal отъедать F10 у Midnight commander-а.
Создал файл ~/.gtkrc-2.0.mine следующего содержания:

Код

binding "NoKeyboardNavigation" {
        unbind "<shift>F10"
}

class "*" binding "NoKeyboardNavigation"

Сработало.

[andrew_b]

Я отучал gnome-terminal отъедать F10 у Midnight commander-а.
Создал файл ~/.gtkrc-2.0.mine следующего содержания:

А шо, в третьегномовском терминале из настроек эту возможность выпилили?

[SM]

А шо, в третьегномовском терминале из настроек эту возможность выпилили?

Глючит она. Там есть "Enable the menu accelerator key", но, от нее зависит, "проваливается" ли код Shift-F10 в терминал, или нет, но меню выскакивает всегда, независимо от этой настройки. Мне это жить не мешает, я не пользуюсь этой комбинацией клавиш, поэтому я это не открутил (старый метод откручивания, приведенный АНТОХой, не работает). Подозреваю, что это там же, в libvte.