Ogni tanto phpStorm perderà input dalla mia tastiera. Posso ancora fare clic, ma non registrerà alcuna chiave. Le altre finestre vanno bene. Ci vuole un riavvio di phpStorm per riportarli indietro. Sembra succedere di più quando controllo + Tab tra le schede aperte
Sono in esecuzione: Ubuntu 13.10 phpStorm 7.1 JRE 1.7.0_51