Polices Phpstorm Editor sur les systèmes Linux

Question

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.

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

Answer 1

À la suite de la PhpStorm question, voici ce que j'ai ajouté à l' phpstorm64.vmoptions (que j'ai installé en /usr/local/bin/PhpStorm/bin/):

-Dswing.aatext=true
-Dawt.useSystemAAFontSettings=gasp
-Dsun.java2d.xrender=true

J'ai aussi fait le tour de l'ouverture de la police dans FontForge:

• Ctrl+A (sélectionner tous les caractères)
• Astuces -> Effacer Les Conseils
• Astuces -> Des Instructions Claires
• Fichier -> Générer De La Police

Je l'ai mis dans ~/fonts/

Je suis sous Ubuntu 12.10 et après tout ça, tout ce qui semble assez grand (je l'ai fait pour Ubuntu Mono).

Le seul problème que j'ai remarqué, c'est qu' -Dawt.useSystemAAFontSettings=gasp conduit à un grand éditeur de rendu des polices, mais pauvres de rendu pour les menus et les autres animaux. Alors qu' -Dawt.useSystemAAFontSettings=lcd donne génial de rendu de police pour les menus, mais moins bon rendu des polices dans l'éditeur. Donc, essayez les deux et de choisir celui que vous préférez.

---

Mise à jour: sur Ubuntu 13.10, je n'ai pas de problème.

Answer 2

Il s'agit d'un problème spécifique à Linux, vous pouvez trouver beaucoup d'informations sur ce problème ici . Vérifiez les commentaires pour diverses suggestions et solutions de contournement.

Voici ce que vous pouvez obtenir avec juste une police différente:

Answer 3

Vous pouvez installer infinality les correctifs et des correctifs de OpenJDK pour rendre l'utilisation de freetype pour les polices, le rendu.

Voici des liens sur l'installation de infinality et patché OpenJDK pour Ubuntu basée sur les distributions:

http://www.webupd8.org/2013/06/better-font-rendering-in-linux-with.html
http://www.webupd8.org/2013/06/install-openjdk-patched-with-font-fixes.html

Et voici ma capture d'écran de PHPStorm en cours d'exécution sur Fedora 20 avec infinality et patché OpenJDK:

Answer 4

Essayez d'ajouter -Dawt.useSystemAAFontSettings = lcd à bin / phpstorm.vmoptions

Answer 5

La meilleure solution que j'ai trouvée est d'utiliser FontForge. FontForge est une application Linux qui vous permet de modifier certaines préférences de police. Il suffit d'ouvrir la police ttf dans l'application. Appuyez sur ctrl + a pour sélectionner tous les caractères. Choisissez ensuite dans le menu Conseils -> Effacer les conseils. Puis Conseils -> Instructions claires. Et dernier fichier -> Générer des polices. Enregistrez simplement la nouvelle police comme nouvelle ou remplacez la police existante et essayez d'utiliser cette police avec PhpStorm. Semble pas idéal mais beaucoup mieux qu'avant.