I used to use Alt+number to switch between
gnome-terminal tabs. In my recent 19.10 installation, this does not work. When I press Alt+1, instead of switching tab, the command line shows this:
and if I press Alt+2, it becomes:
I checked the options in
gnome-terminal, it is set to use Alt+number to switch between tabs.
I would like to know which application is hijacking the hotkey, and how to fix it.
PS. I do NOT want to use Ctrl+PgUp/PgDn for this. Thanks.