Ack, but that is not the issue. This issue is, that it is inconsistent that only the keybindings are not configurable in right click -> Edit Current Profile... but maybe the gnome devs have a good reason for this. -- keyboard shortcuts only accesible from menu https://launchpad.net/bugs/52186