Comment 16 for bug 162000

Considering that the default shortcut to switch between tabs in some major Gnome apps, such as Files and Text Editor, is actually Ctrl-Tab/Ctrl-Shit-Tab (at least with recent versions), doesn't that make the upstream limitation obsolete and could this behavior be ported to Terminal?