我曾经使用Alt+number在gnome-terminal选项卡之间切换。在我最近的 19.10 安装中，这不起作用。当我按Alt+ 1，而不是切换选项卡时，命令行显示：
(arg: 1)
如果我按Alt+ 2，它会变成：
(arg: 12)
我检查了 中的选项gnome-terminal，它设置为使用Alt+number在选项卡之间切换。
我想知道哪个应用程序正在劫持热键，以及如何修复它。
附注。我不想为此使用Ctrl+ PgUp/ PgDn。谢谢。