shortcuts: Enable Ctrl+PgUp/PgDn when multiple tabs

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

Fixes #118.

Signed-off-by: Anders Kaseorg <>
3 jobs for main in 3 minutes and 42 seconds (queued for 2 seconds)