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 Ubuntu Desktop Bugs, 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 To manage notifications about this bug go to: https://bugs.launchpad.net/gnome-terminal/+bug/162000/+subscriptions -- desktop-bugs mailing list desktop-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/desktop-bugs
