gnome-terminalshortcut-keys
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.
If you want to open gnome-terminal with more than one tab when you open it using Ctrl+Alt+T shortcut, go to System Settings → Keyboard → Shortcuts → Custom Shortcuts and add a new Ctrl+Alt+T shortcut as follow:
Select Reassign when you are asked:
Now, to open a new tab in gnome-terminal, you can use Ctrl+Shift+T. To access/view/edit your terminal shortcuts go to Edit → Keyboard Shortcuts...:
In linux almost every terminal support tab, for example in Ubuntu with default terminal you can press:
Ctrl + Shift + T or click File / Open Tab
and you can switch between them using Alt + $ {tab_number} (*eg. Alt + 1)
also you might want to take a look at terminator
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.