As a hack, you can still specify "<Primary>Tab" and "<Primary><Shift>Tab" as keybindings, directly using dconf-editor or gsettings.
For instance, gnome-terminal: $ gsettings set \ org.gnome.Terminal.Legacy.Keybindings:/org/gnome/terminal/legacy/keybindings/ \ next-tab '<Primary>Tab' $ gsettings set \ org.gnome.Terminal.Legacy.Keybindings:/org/gnome/terminal/legacy/keybindings/ \ prev-tab '<Primary><Shift>Tab' ** Bug watch added: GNOME Bug Tracker #738325 https://bugzilla.gnome.org/show_bug.cgi?id=738325 ** Also affects: gnome-terminal via https://bugzilla.gnome.org/show_bug.cgi?id=738325 Importance: Unknown Status: Unknown -- You received this bug notification because you are a member of Desktop Packages, which is subscribed to gnome-terminal in Ubuntu. https://bugs.launchpad.net/bugs/162000 Title: Cannot use Ctrl-Tab as keyboard shortcut in gnome-terminal Status in GNOME Terminal: Unknown Status in gnome-terminal package in Ubuntu: Confirmed Bug description: Binary package hint: gnome-terminal It is not possible to use Ctrl-Tab as keyboard shortcut in gnome- terminal. I would like to use it to switch tabs. To manage notifications about this bug go to: https://bugs.launchpad.net/gnome-terminal/+bug/162000/+subscriptions -- Mailing list: https://launchpad.net/~desktop-packages Post to : [email protected] Unsubscribe : https://launchpad.net/~desktop-packages More help : https://help.launchpad.net/ListHelp
