Comment changer toutes les tailles de police dans Eclipse ?

Question

Concernant la question Stack Overflow Comment puis-je changer la taille de police dans Eclipse pour les éditeurs de texte Java?:

Cette question demande comment changer la taille de police dans une fenêtre d'éditeur. Mais y a-t-il un moyen de changer toutes les tailles de police pour l'ensemble de l'interface graphique d'Eclipse?

Answer 1

Allez dans Fenêtre->Préférences, Général->Apparence->Couleurs et Polices

Allez dans basic. Recherchez police de texte et éditeur de texte.

Answer 2

Pour changer les polices dans l'espace de travail Eclipse avec Linux, Ubuntu 10.04 (Lucid Lynx), j'ai modifié les polices système bureau → Système → Préférences → Apparence → Polices.

J'ai également modifié Eclipse v3.7 (Indigo) → menu Fenêtres → Préférences → Général → Apparence → Couleurs et polices. Cela s'est reflété dans Eclipse.

Answer 3

Pour changer la taille de la police de l'explorateur de packages d'eclipse sur Windows 7

Ouvrez l'emplacement du fichier ci-dessous où se trouve votre fichier exe d'eclipse

eclipse\plugins\org.eclipse.ui.themes_1.0.1.v20141126-1957\css/e4_default_win7.css

ajoutez

 .MPart Tree{  
  font-size: 12;  
 }  

Redémarrez eclipse pour que les changements se reflètent

Answer 4

Ajoutez à Eclipse\plugins\org.eclipse.ui.themes_\css\dark\e4-dark_globalstyle.css:

 * {
    font-size: 13;
}

En fonction de la version d'Eclipse et du thème (j'utilise le thème sombre !) que vous utilisez, vous devrez peut-être ajouter ceci à un autre fichier css, par exemple e4_basestyle.css.