Phpstorm Éditeur de polices de caractères sur les systèmes linux

Si fatigué de la recherche de la solution..
J'utilise PHPStorm IDE pour mes projets php et une difficulté juste me rend fou.
L'éditeur de polices de caractères (éditeur, ne se soucient pas de l'interface) semble horrible. J'ai essayé sur les différentes distributions et différentes DE mais le résultat est toujours le même 🙁
Il y a des captures d'écran pour comparer Kate et PHPStorm polices. Je sais que PHPStorm est une application JAVA et il utilise la police de caractères différente de frapper moteur, mais.. Eclipse est une application JAVA aussi, mais a de très jolies polices.
PHPStorm polices à la fois sur Windows et OSX ressemble à d'autres polices système. Lisse et lisible.
Phpstorm Éditeur de polices de caractères sur les systèmes linux

Phpstorm Éditeur de polices de caractères sur les systèmes linux

Est-il possible de résoudre ce problème de police problème de devant mes yeux vont exploser..?
Merci.

  • Hmm. Deuxième capture d'écran après le téléchargement est devenu plus lisse que l'original, pour certaines raisons. Mais je pense que mon problème est clair pour les personnes qui ont le même problème.
  • J'ai remarqué que NetBeans 7 sur linux a le même problème avec les polices de rendu 🙁