小编neo*_*ser的帖子

phpStorm 时不时地会丢失我的键盘输入。我仍然可以点击，但它不会注册任何密钥。其他窗户没问题。需要重新启动 phpStorm 才能将它们恢复。当我在打开的选项卡之间使用 Control+Tab 时，似乎最常发生

我正在运行：Ubuntu 13.10 phpStorm 7.1 JRE 1.7.0_51