Ubuntu
gnome-terminal package

  1. Bug #272199
  2. Comment #6

Comment 6 for bug 272199

Revision history for this message
David R. Hedges (p14nd4) wrote : Re: [intrepid] Missing option to disable "switch to tab" keyboard shortcuts

This has been fixed upstream [1][2][3]. Can we please pull the changes into intrepid? Thanks!

[1] http://bugzilla.gnome.org/show_bug.cgi?id=548600#c7
[2] http://svn.gnome.org/viewvc/gnome-terminal?view=revision&revision=3170
[3] http://svn.gnome.org/viewvc/gnome-terminal?view=revision&revision=3171