Bug#471455: gnome-terminal: ctrl+pgdn does not work

forwarded 471455 http://bugzilla.gnome.org/show_bug.cgi?id=526088 thanks Hello, Sam Morris wrote: > Package: gnome-terminal > Version: 2.22.0-1 > Severity: normal > > Since upgrading to 2.22, the ctrl+pgdown key does not work. Steps to > reproduce: > > 1. run vim > 2. :tabnew > 3. press ctrl

Bug#471455: gnome-terminal: ctrl+pgdn does not work

Package: gnome-terminal Version: 2.22.0-1 Severity: normal Since upgrading to 2.22, the ctrl+pgdown key does not work. Steps to reproduce: 1. run vim 2. :tabnew 3. press ctrl+pgup to switch tabs, this works 4. press ctrl+pgdn to switch the other way, this does not -- System Information: Debi