Every now and again phpStorm will lose input from my keyboard. I can still click around, but it will not register any keys. Other windows are fine. It takes a phpStorm restart to bring them back. It seems to happen most when I Control+Tab between open tabs
I am running: Ubuntu 13.10 phpStorm 7.1 JRE 1.7.0_51