
En PhpStorm 2016.3 en Ubuntu, las fuentes en IDE se procesan perfectamente, pero en la nueva versión 2017.1 ahora vuelve a verse mal.
¿Cómo hago para que las fuentes vuelvan a verse bien?
Solución para mí: Copié la carpeta jre del antiguo PhpStorm en un directorio externo y configuré la nueva versión de Ide con este jre.
Respuesta1
Solución (de la pregunta original):
... copié la carpeta jre del antiguo PhpStorm en un directorio externo y configuré la nueva versión del IDE con este jre.