Co jakiś czas phpStorm traci dane wejściowe z mojej klawiatury. Nadal mogę klikać, ale nie zarejestruje żadnych kluczy. Inne okna są w porządku. Ponowne uruchomienie phpStorm przywraca je. Wydaje się, że dzieje się to najczęściej, gdy I Control + Tab między otwartymi kartami Pracuję: Ubuntu 13.10...