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.

fonts eclipse David M. Karr
la source

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

Gabriel Mendez

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.

Tiago Norberto
la source

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

4

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

Tailles de police plus petites pour Eclipse sur Linux

David M. Karr
la source

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.

javabrett
la source

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.

richie-torres
la source

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.

a.toraby
la source

1

Suivez ces étapes: