I've attached a proposed patch to gnome-terminal.xml to update the help on how to go about disabling a keyboard shortcut. This would just need translations for the other available languages.
I've attached a proposed patch to gnome-terminal.xml to update the help on how to go about disabling a keyboard shortcut. This would just need translations for the other available languages.