Changez la police en IntelliJ 10/11

J'ai essayer de changer de police pour l'Ide, IDE avec une autre police à chasse fixe comme Inconsolota.

J'ai mis Inconsolata.ttf (j'utilise Windows) sur le répertoire :

   C:\Program Files\Java\jdk1.7.0_01\jre\lib\fonts

Pourquoi ne pas l'Ide de le rendre disponible ? Est-ce le mauvais chemin ?

(Je précise que j'ai bien vérifié que l'Ide utilise ce JDK et pas une autre)

source d'informationauteur Mik378

  1. 13

    En plus de la copie de polices dans ..\jre\lib\fonts Vous avez besoin de changer une java anti-aliasing réglage.

    1) Ajouter l'option:

    -Dawt.useSystemAAFontSettings=on

    Linux

    <<jetbrains-product-dir>>/bin/idea.vmoptions

    Il pourrait y avoir d'autres paramètres requis pour Linux et OpenJDK. Vérifier les liens référencés.

    Windows

    ...\JetBrains\<<product-dir>>\bin\<<productname>>.exe.vmoptions

    2) Vous devez redémarrer l'IDE.

    3) Lors de la sélection d'une police (Settings>Appearance>Font) vous
    devrait décochez la case "Afficher uniquement les polices à espacement fixe" dans la petite fenêtre popup
    la fenêtre qui s'affiche.

    4) Vous serez maintenant en mesure de voir et de choisir Inconsolata ou de toute autre
    auparavant cachés de la police. Définissez la taille de la police et de la hauteur de la ligne en fonction de votre préférence.

    Référence

  2. 3

    Vous pouvez réellement parcourir pour votre police.

    1. Ctrl + Alt + S

    2. En vertu de l'Éditeur de nœud, cliquez sur Couleurs&Polices.

    3. Sélectionnez le dispositif que vous voulez.

    4. Allez à Paramètres du Schéma, de la Police et cliquez sur le bouton parcourir Changez la police en IntelliJ 10/11 pour sélectionner une nouvelle famille de polices.

    Si c'est ce que vous l'avez déjà fait, et vous ne trouvez pas la police, même lorsque vous avez parcouru pour elle, alors vous pouvez installer votre police par l'exécution de l'setup.exe fichier qui vient habituellement avec elle et essayer de nouveau.

    Source: http://www.jetbrains.com/idea/webhelp/editor-colors-and-fonts.html#scheme

  3. 3

    Je pense que vous avez oublié de préciser que vous avez besoin pour enregistrer la configuration par défaut qu'autre chose afin de le modifier.

    Sous Fichier -> Paramètres -> Éditeur node -> les Couleurs & polices, sélectionnez système, enregistrer avec un autre nom, puis modifier les polices de caractères... etc.