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 -- ubuntu-bugs mailing list ubuntu-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
