скопировать/вставить ярлыки, не работающие в gedit и терминале гнома

После некоторых обновлений в системе в целом, gnome-terminal на моей Ubuntu 16.10 прекратил не отвечать на Ctrl+Insert и ярлыки Shift+Insert для копии и вставки, ни с текущим буфером буфера обмена, ни с визуальным буфером выбора. Оба ярлыка хорошо работают в XTerm. Те же привязки клавиш снова не работают в gedit и xpad но работа правильно над google-chrome. Я пытался изменить привязки клавиш от dconf-editor но это не ответило, когда я поразил Ctrl+Insert или Shift+Insert (т.е. никакой новый акселератор не установлен).

Любая справка ценится.