Comment changer la taille des polices Eclipse

Question

J'essaie de réduire les tailles de police utilisées dans Eclipse. J'ai lu plusieurs notes expliquant comment procéder, mais aucune d'entre elles n'a fait de différence.

Évidemment, le changer dans les préférences Eclipse ne le fait pas.

Les réponses habituelles à l'utilisation de "Apparence-> Polices" ne fonctionnent pas car il n'y a pas d'onglet "Polices". Je crois avoir vu une personne dire que l'onglet "Polices" n'était plus supposé être là.

La suggestion suivante consiste à installer MyUnity et à modifier les paramètres de police à cet endroit. Cela semblait changer les polices utilisées dans d'autres applications, comme les en-têtes gnome-terminal et window, mais cela n'a toujours eu aucun effet sur Eclipse.

Tiago Norberto · Answer

Essaye ça:

Éditez e4_default_gtk.css.

vim Eclipse_HOME/plugins/org.Eclipse.ui.themes_*/css/e4_default_gtk.css

Ajouter à la fin:

* { font-size:8; }

Enregistrez et démarrez Eclipse.

Cela a fonctionné pour moi sur Ubuntu 14.04 et Eclipse Luna.

David M. Karr · Answer

J'ai découvert les pièces manquantes. La partie difficile est de contrôler la taille de la police pour les vues non-éditeur, comme l'explorateur de paquet. J'ai découvert ce qui suit, ce qui a fait le tour pour moi:

tailles de police plus petites pour Eclipse sous Linux

javabrett · Answer

Dans la version Eclipse Oxygen (et versions ultérieures), les fichiers CSS ont été refactorisés et le style de base font-size doit maintenant être modifié dans e4_basestyle.css.

white-shy-guy · Answer

allez au menu Window -> Preferences, ici allez à General -> Appearance -> Colors and Fonts, cette configuration d'affichage pour les perspectives, comme Java. Dans l'option Java, sélectionnez The Java editor text font is used by Java editors. et après le bouton Edit ..., vous pourrez modifier les propriétés de la police.

a.toraby · Answer

J'ai essayé Myunity sur ubuntu12.04 64bit et cela a fonctionné. Si vous changez la police du système, cela affectera les polices d’Eclipse dans les menus et les onglets. Pour le contenu du texte dans les éditeurs de texte d'Eclipse, vous devez modifier les paramètres de police à partir de la page de propriétés d'Eclipse elle-même.