Veuillez ne pas marquer cette question comme étant en double. Il existe des questions similaires, mais elles sont périmées. Elles concernent d'anciennes versions et aucune de leurs suggestions n'a résolu mon problème. (ex : Comment augmenter la taille de la police d'Eclipse globalement ? )
J'utilise eclipse Kepler sur Yosemite. Je veux changer la taille de tous mes fronts dans eclipse pour qu'ils soient plus grands. J'utilise un moniteur 1080p, et c'est assez pénible de voir ces petites polices. J'ai trouvé un moyen de changer la police de l'explorateur de paquets et la police de l'éditeur java, mais je veux changer d'autres polices aussi. Je veux changer les polices dans les onglets ouverts, les contours, les tâches et éventuellement toutes les autres vues. Existe-t-il un moyen de les modifier globalement ? Si ce n'est pas le cas, y a-t-il un moyen de les changer une par une ? J'ai vérifié "Général - Apparence - Couleurs et polices". Il n'y a aucun moyen de modifier les polices de ces vues.
Voici ce que j'ai essayé :
-
changer les couleurs et les polices dans les préférences d'Eclipse. Il ne peut modifier que la police de l'éditeur.
-
supprimer "-Dorg.eclipse.swt.internal.carbon.smallFonts" du fichier eclipse.ini. Cela n'a aucun effet.
-
modifier "eclipse kepler/plugins/org.eclipse.platform_4.3.0.v20130605-2000/css/e4_default_mac.css". J'ai appris à modifier les polices dans le package Exploer. Il me suffit d'ajouter :
org-eclipse-jdt-ui-PackageExplorer Arbre, #org-eclipse-ui-navigator-ProjectExplorer Tree { font-size : 14px ; /* <-- Taille de police souhaitée */ }
Modifier le css peut être un moyen de changer les polices des autres vues, mais je ne sais pas comment.
