Comment changer la taille des polices Eclipse


8

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 courantes sur 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'est plus censé être là.

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


Cette solution a fonctionné pour moi: stackoverflow.com/questions/11805784/…
Gabriel Mendez

Réponses:


6

Essaye ça:

Modifier 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.


travaillé comme un charme. Toutes les tailles de police sont devenues plus petites.
Evan Hu

vim ECLIPSE_HOME/plugins/org.eclipse.ui.themes_*/css/e4_default_gtk.cssn'est pas censé être une copie-collé littéralement à droite? Cela ouvre un fichier vide pour moi.
MadMike

Vous devrez peut-être modifier un fichier différent en fonction de votre thème actif, par exemple css/e4-dark.css.
mapm


2

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


1

aller au menu Window -> Preferences, ici aller à General -> Appearance -> Colors and Fonts, ce montrent les configurations 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 Edit ...bouton, ici vous pouvez changer les propriétés de la police.


5
Quand j'ai dit "Évidemment, le changer dans les préférences d'Eclipse ne le fait pas", cela signifie que j'ai déjà essayé cela.
David M. Karr

alors de quoi avez-vous besoin? la réponse change la police, je teste.
richie-torres

Ok, vous avez raison, cela change la vue de l'éditeur. Cependant, il semble que je ne puisse pas modifier la taille de la police pour les autres vues.
David M. Karr

vous voulez changer la police de tous les IDE (menu, panneau, etc.)?
richie-torres

C'est l'idée, oui.
David M. Karr

1

J'ai essayé Myunity sur ubuntu12.04 64bit et cela a fonctionné. Si vous changez la police système, cela affecte les polices d'éclipse 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 des propriétés d'Eclipse elle-même.


1

Suivez ces étapes:

  • Ouvrir Preferencessous windowmenu:

entrez la description de l'image ici

  • Allez à GeneralEditorsText Editors

entrez la description de l'image ici

  • Sélectionnez Colors and Fontsle lien bleu sous Éditeurs de texte

entrez la description de l'image ici

  • Vous voyez maintenant cette fenêtre.

entrez la description de l'image ici

  • Il suffit de pesser Editet de redimensionner votre police de texte

entrez la description de l'image ici


Vous pouvez également le trouver à partir de GeneralAppearanceColors and Fontspuis sélectionnez Text Fontsous Basicoption.

entrez la description de l'image ici

En utilisant notre site, vous reconnaissez avoir lu et compris notre politique liée aux cookies et notre politique de confidentialité.
Licensed under cc by-sa 3.0 with attribution required.