Configure tab-switch hotkey in gnome-terminal
Solution 1:
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.
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.