Since updated PHPStorm to 7.x on Ubuntu 13.10 the Editor sometimes stop working. I can browse between the files on Project-Folder and opened tabs, but i cannot write any character into the editor. On Ubuntu 13.04 i didn't have this problem.
Somedays all works fine, and somedays i must restart PHPStorm every 30 minutes. It's a catastrophe and i cannot work on this way!
What's going wrong here? Pls. help!