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 Desktop Bugs, which is a bug assignee. -- desktop-bugs mailing list desktop-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/desktop-bugs
