I'd say it's a really functional compromise to handling well-established and conflicting keyboard shortcuts. I turn this feature on in gnome terminal on all my

I'd say it's a really functional compromise to handling well-established and conflicting keyboard shortcuts. I turn this feature on in gnome terminal on all my machines (It's built into it by default).