In PhpStorm 2016.3 auf Ubuntu werden Schriftarten in der IDE einwandfrei gerendert, aber in der neuen Version 2017.1 sehen sie jetzt wieder schlecht aus.
Wie kann ich dafür sorgen, dass die Schriftarten wieder gut aussehen?
Lösung für mich: Ich habe den JRE-Ordner vom alten PhpStorm in ein externes Verzeichnis kopiert und mit diesem JRE die neue Version von IDE konfiguriert.
Antwort1
Lösung (aus der ursprünglichen Frage):
... JRE-Ordner vom alten PhpStorm in externes Verzeichnis kopiert und neue Version der IDE mit diesem JRE konfiguriert.