terminal
terminal copied to clipboard
Change tabs with keypad numbers
Arising from #655
In some locales changing the tabs using Alt + number does not work using the keyboard numerals. This PR enables the keypad numerals to be used instead.
@ryanoko I am concentrating on the Gtk4 port at the moment as it is fairly near completion. So I am reluctant to add new features if they can wait. There is also the unresolved issue of how to expose the tab numbers. The current solution(#849) is rather crude.