Can we increase the importance of this to something more than "Low"?
For those needing a workaround, it turns out it's easy to patch the binary executable to swap out Alt for Control - If you open /usr/bin /gnome-terminal in some binary-capable editor, find the string constant <alt>%d and change it to <ctl>%d you can have Ctrl+0 ... Ctrl+9 instead of Alt+0 ... Alt+9. But this should still be restored to proper configurability. -- [intrepid] Missing option to disable "switch to tab" keyboard shortcuts https://bugs.launchpad.net/bugs/272199 You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. -- ubuntu-bugs mailing list [email protected] https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
