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