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) про эти сочетания ничего нет.
ГДЕ ЕЩЕ?????

[SM]

У меня это находится в .config/gtk-3.0/gtk.css :

Код

@binding-set mybinding {
    unbind "<Shift>Insert"
    unbind "<Ctrl>Insert"
    unbind "<Shift>F10"
}

GtkEntry {
    gtk-key-bindings: mybinding;
}

Однако, не работает (но и не ругает, что там что-то не так). Shift-F10, кстати, тоже не отключился, менюшка выскакивает. Однако, если там лажануться, например "Insert" с маленькой буквы написать, то оно, при запуске терминала из консоли, ругается, что ошибка, то есть, читается...