Keyboard shortcuts in
gnome-terminal (Ctrl+Tab and Ctrl+Shift+Tab) in 12.04 don't seem to be working. Is there a setting that I dont know of?
Unfortunately assigning shortcuts with TAB key is a no go in Gnome (for whatever reason). So this will not work.
- Reference: https://bugzilla.gnome.org/show_bug.cgi?id=123994
- Current discussion about the issue: https://mail.gnome.org/archives/desktop-devel-list/2009-November/msg00220.html
A way to configure this is by setting
gsettings from the terminal itself (two commands):
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'
Use Ctrl+PageUP and Ctrl+PageDown (annoying, but it is what we have).