Ubuntu
gnome-terminal package

  1. Bug #272199
  2. Comment #17

Comment 17 for bug 272199

Revision history for this message
Martin Pitt (pitti) wrote : Re: [Bug 272199] Re: [intrepid REGRESSION] Missing option to disable "switch to tab" keyboard shortcuts

Iain Lane [2008-10-27 13:08 -0000]:
> I'm afraid not. The fix adds new (actually readds the old) strings back,
> which we cannot do in a SRU.

Well, it requires a string freeze exception and coordination with the
documentation maintainers (at least they need to be aware of it), but
in general it's not a total no-go area. If there is a patch, and
people are willing to do testing, we can consider it.