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

[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 Shortcuts configuration, so
> there seems to be no way to tell gnome-terminal to leave them alone.

Interestingly, if I do Ctrl+Shift+PgUp, it moves the tab one position
earlier. When I get to the first position, the bindings gets passed to
the terminal instead.

It looks like the tab widget is getting in the way of keystroke
handling.


Ciao,

Enrico

-- 
GPG key: 4096R/E7AD5568 2009-05-08 Enrico Zini <enrico at enricozini.org>