JetBreains a annoncé la disponibilité de Intellij IDEA 20191.3. Il ne s'agit pas d'une mouture majeure. Mais cette version a le mérite de corriger des bugs gênants.

Notamment le blocage de l'IDE lors de sa fermeture est corrigé. Est également corrigé le problème le bug de régression sous Linux qui faisait qu'après avoir importé les paramètres de police de la version précédente, impossible de les modifier dans la version actuelle.

Signalons encore, parmi d'autres, la crrection du problème à l'origine de l'apparition des fichiers .attach_pid * dans le répertoire de travail sous Linux.