De temps en temps, phpStorm perdra les entrées de mon clavier. Je peux toujours cliquer, mais il n'enregistrera aucune clé. Les autres fenêtres sont bien. Il faut un redémarrage phpStorm pour les ramener. Cela semble se produire plus souvent lorsque je contrôle + onglet entre les onglets ouverts
J'exécute: Ubuntu 13.10 phpStorm 7.1 JRE 1.7.0_51