在 IntelliJ IDEA 中的终端选项卡之间切换

Question

在 IDE 中有几个终端选项卡。如果我右键单击其中任何一个，我会看到我可以使用 Alt+Right 和 Alt+Left 在选项卡之间切换：

但是，这些组合似乎不起作用。使用 IntelliJ IDEA 2018.3 社区版 附言使用相同的组合在编辑器选项卡之间切换效果很好。

Answer 1

这是 2018.3 版本中的known bug，它将在 2018.3.1 更新中修复。

作为一种解决方法，您可以禁用the option to override IDE shortcuts。