我在
Windows 10上使用
PHPStorm(v 10.0.3).无论何时我使用查找/替换,光标(文本
标记)都会从屏幕上消失,
代码变得不可编辑.我通常必须重新启动编辑器来
解决这个问题.
这是一个已知问题,我可以修复吗？
您不太可能为这样的旧版本找到太多
支持.
我找到了以下提示
将其添加到/bin/idea.properties
actionSystem.suspendFocusTransferIfApplicationInactive=false
还要确保安装了最新的JRE.
除此之外,我唯一的建议是升级到2017版本,其中包含各种错误修复(包括此错误)和一些针对OOP PHP的新功能.
原文链接：/phpstorm/613783.html
