在 gnome-terminal 中配置 tab-switch 热键

Question

我曾经使用Alt+number在gnome-terminal选项卡之间切换。在我最近的 19.10 安装中，这不起作用。当我按Alt+ 1，而不是切换选项卡时，命令行显示：

(arg: 1) 

如果我按Alt+ 2，它会变成：

(arg: 12) 

我检查了 中的选项gnome-terminal，它设置为使用Alt+number在选项卡之间切换。

我想知道哪个应用程序正在劫持热键，以及如何修复它。

附注。我不想为此使用Ctrl+ PgUp/ PgDn。谢谢。

Answer 1

这是一个已知错误，可在https://gitlab.gnome.org/GNOME/gtk/issues/2174进行上游跟踪。如所述，禁用标题栏或禁用助记符是可能的解决方法。