Я думаю ответ, который Вы ищете, здесь, назван:Горячие клавиши. конкретно они:
Примечание: Вы не можете переопределить это сочетание клавиш через gnome-terminal
!, Если Вы могли, это обнаружится в этом меню:
Введите в своей желаемой комбинации сочетания клавиш, поскольку Вы ввели бы ее для использования ее. Ключи, которые можно использовать, включают Высокий звук, Высокий звук Gr, Ctrl, Сдвиг, число и обозначают буквами ключи.
Примечание: Комбинации ускоряющей клавиши, такие как Alt+F не будут работать. При случайной установке одного из этих сочетаний клавиш как ярлык Вы, возможно, должны сбросить его, прежде чем можно будет изменить его на что-то еще.
Примечание: Для отключения ярлыка отредактируйте его и нажмите Backspace вместо нового ярлыка.
Если Вы замечаете в снимке экрана выше (немного трудно для наблюдения), он указывает что:
Существуют также некоторые ярлыки, которые не могут быть отредактированы
Они включали бы прокрутку/вниз, таким образом, будет казаться, что нет способа сделать это непосредственно через gnome-terminal
.