[03:03] <jbicha> PaulePanter: https://git.launchpad.net/~ubuntu-desktop/ubuntu/+source/gnome-settings-daemon/tree/debian/patches/64_restore_terminal_keyboard_shortcut_schema.patch
[03:04] <jbicha> and https://git.launchpad.net/~ubuntu-desktop/ubuntu/+source/gnome-control-center/tree/debian/patches/64_restore_terminal_keyboard_shortcut.patch
[03:04] <jbicha> you may get faster answers for questions like that in #ubuntu-desktop
[07:43] <PaulePanter> jbicha: Thank you.
[07:44] <PaulePanter> Now that KDE Konsole sets this by default, I’ll try to upstream this for GNOME.