found 678717 3.10.1-1 Hey Florian,
as you can see https://help.gnome.org/users/gnome-terminal/stable/adv-keyboard-shortcuts.html.enby default the shortcuts to switch between tabs are control-pageup or control-pagedown. If I change the shortcuts to control-alt-left or control-alt-right it doesn't work using 3.10.1-1 neither. using control-left or control-right or alt-left or alt-right works fine or even control-alt-n for instance. maybe control-alt-ARROW is reserved to be used by gnome-shell or something else, idk. thanks regards althaser
