Calculer Girl
  1. Calculer Girl
  3. IntelliJ IDEA rendu de mauvaises fonts
Intereting Posts
La ligne lit les selfs sur 0x1A Supprimer le .html des URL avec une redirection xamarin.forms lie la source d’image listview-imagecell à l’octet Erreur lors de la création du projet cordova-lib cordova-app-hello-world manquant Comment activer le script python sur GPU? Simulation de plusieurs utilisateurs SVN sur un ordinateur Windows Outil en ligne de commande pour trouver les dépendances Dll Puis-je mettre à niveau ma version Android Studio de 2.3.3 à 3.0 dans Windows? Comment trouver une ligne dans un fichier? Activer l’achèvement de l’onglet bash pour Mercurial (hg) Envoyer un e-mail dans Windows Universal App Bash Script cd ne fonctionne pas même s’il existe créer des commandes shell pour le script ruby ​​ wampserver ne passe pas au vert – rest orange SVN – Comment exporter une simple révision

IntelliJ IDEA rendu de mauvaises fonts

J’ai défini une nouvelle police dans les options IDE UI Settings et Font & Color.

Ici: entrer la description de l'image ici

et ici: entrer la description de l'image ici

Après le redémarrage de IDEA, bonne police dans l’interface utilisateur et mauvaise dans Workspace: entrer la description de l'image ici

Avez-vous une idée de comment changer cela?

Il existe un problème ouvert consigné avec des suggestions utiles de la communauté.

Il existe une approche simple qui peut quelque peu améliorer les résultats et une approche très compliquée impliquant des versions de bibliothèques JDK / système patinées, mais avec les meilleurs résultats possibles.