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 следующего содержания:

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