Ubuntu
gnome-terminal package

  1. Bug #272199
  2. Comment #5

Comment 5 for bug 272199

Revision history for this message
Max Bowsher (maxb) wrote : Re: [intrepid] Missing option to disable "switch to tab" keyboard shortcuts

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.