Skip to content

Enable Ctrl+PgUp/PgDn to switch tabs if there are multiple tabs

Anders Kaseorg requested to merge andersk/console:switch-tabs into main

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 #118 (closed).

Merge request reports