There is no editor for keyboard shortcuts; instead they can be changed by pressing keys while the mouse is hovering over a menu item in the terminal, provided editable shortcuts are enabled in your desktop session. In GNOME you have to edit a "secret" option, either by running the command:
gconftool --type bool --set /desktop/gnome/interface/can_change_accels true
or by editing the /desktop/gnome/interface/can_change_accels option with gconf-editor ("Configuration Editor").
New Tab のショートカットをを Shift + Ctrl + T から Ctrl + F1 に変更したい。
メニューバーから変更したいコマンドをマウスで選択した状態で、新たに割り当てたいキーを押す。
この画像の状態で Ctrl + F1 を押す。
ショートカットが変更される。
