zendstudio10.0复制粘贴JS巨卡

原因找到了，不知道如何下手，因为手动复制粘贴并不会出现巨卡的情况，我猜是因为
ctrl和复制粘贴的ctrl快键捷冲突了。
[解决办法]
用10.1,10.0编辑器有点问题