Ubuntu – Configure tab-switch hotkey in gnome-terminal


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:

(arg: 1) 

and if I press Alt+2, it becomes:

(arg: 12) 

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.

Best Answer

It's a known bug, tracked upstream at https://gitlab.gnome.org/GNOME/gtk/issues/2174. As stated there, disabling header bar or disabling mnemonics are possible workarounds.