Webstorm:Ctrl + 箭头不起作用。怎么修?

Webstorm: Ctrl + Arrow not working. How to fix?

我下载了 Webstorm 10.0.2 并注意到当我按下 Ctrl+Left/Right 它选择 char 作为 Shift+Left/Right 但不跳过单词。

当我尝试添加快捷方式并按 Ctrl+Left/Right[时,在键盘映射设置中=40=] 它不显示此快捷方式,但 Ctrl+Any other 正常工作。

此外,在 PhpStorm 7.1.3 Ctrl+Left/Right 正常工作。

关于如何 return Ctrl+Left/Right[=40 的正常行为的任何想法=]?

OS Linux 薄荷 17
java 版本“1.7.0_79”
OpenJDK 运行时环境 (IcedTea 2.5.5) (7u79-2.5.5-0ubuntu0.14.04.2)
OpenJDK 64 位服务器 VM(内部版本 24.79-b02,混合模式)

请尝试 this 解决方法 - 有帮助吗?