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

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

然而，这些组合似乎不起作用。使用IntelliJ IDEA 2018.3社区版 另外，在编辑器选项卡之间切换也适用于相同的组合。

这是2018.3版中的一个版本，将在2018.3.1更新中修复

作为一种解决方法，您可以禁用