Processed (with 5 errors): RE: [gnome-terminal] crtl-alt-left|right not working anymore

[Debian Bug Tracking System]

Processing commands for control at bugs.debian.org:

> found 678717 3.10.1-1
Bug #678717 [gnome-terminal] [gnome-terminal] crtl-alt-left|right not working anymore
Marked as found in versions gnome-terminal/3.10.1-1.
> Hey Florian,
Unknown command or malformed arguments to command.
> as you can see
Unknown command or malformed arguments to command.
> https://help.gnome.org/users/gnome-terminal/stable/adv-keyboard-shortcuts.html.enby
Unknown command or malformed arguments to command.
> default the shortcuts to switch between tabs are control-pageup or
Unknown command or malformed arguments to command.
> control-pagedown.
Unknown command or malformed arguments to command.
Too many unknown commands, stopping here.

Please contact me if you need assistance.
-- 
678717: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=678717
Debian Bug Tracking System
Contact owner at bugs.debian.org with problems