Bug#747242: gnome-terminal: ctrl+pgup/ctrl+pgdn hardcoded as mapped to prev/next tab

2014-05-22 Thread Enrico Zini
On Tue, May 06, 2014 at 07:25:46PM +0200, Enrico Zini wrote: I am relying on ctrl+pgup and ctrl+pgdn being available for mapping in vim, and since the last gnome-terminal upgrade to 3.12.0-2 they are handled by gnome-terminal and used to switch tabs. Those keybindings do not show up in the

Bug#747242: gnome-terminal: ctrl+pgup/ctrl+pgdn hardcoded as mapped to prev/next tab

2014-05-06 Thread Enrico Zini
Package: gnome-terminal Version: 3.12.0-2 Severity: normal Hello, I am relying on ctrl+pgup and ctrl+pgdn being available for mapping in vim, and since the last gnome-terminal upgrade to 3.12.0-2 they are handled by gnome-terminal and used to switch tabs. Those keybindings do not show up in the