-
Users expect Ctrl+PgUp/PgDn to switch tabs, but some terminal applications want to be able to use these keys themselves. Make the same compromise that gnome-terminal does, and let these keys switch tabs _if_ there are multiple tabs in the current window to switch between. Fixes GNOME/console#118 . Signed-off-by: Anders Kaseorg <andersk@mit.edu>