我在 SUSE Linux 上的 GNOME Shell 3.20.4 上使用 GNOME-Terminal 3.20.2，并且切换选项卡的热键（CTRL+Page Up和CTRL+ Page Down）只能偶尔工作。我怎样才能找出这种行为的原因并解决它？
Gnome 终端在选项卡开关上不可靠
我在 SUSE Linux 上的 GNOME Shell 3.20.4 上使用 GNOME-Terminal 3.20.2，并且切换选项卡的热键（CTRL+Page Up和CTRL+ Page Down）只能偶尔工作。我怎样才能找出这种行为的原因并解决它？