48 votes

Comment augmenter la taille de la police d'Eclipse globalement ?

J'aimerais savoir comment augmenter la taille de la police pour Eclipse afin qu'elle ajuste l'ensemble de l'interface graphique pour qu'elle ne paraisse pas si petite sur mon écran.

Pour NetBeans, il y a le commutateur --font-size qui peut être défini dans netbeans.conf, y a-t-il quelque chose de similaire pour Eclipse ?

(Au cas où cela serait utile, je suis sous Snow Leopard).

53voto

Pwnna Points 151

Allez dans Préférences > Général > Apparence > Couleurs et polices, développez le dossier "Basic" et sélectionnez "Police de texte" et changez-la à la taille que vous souhaitez.

Pour Eclipse Néon : Augmenter Ctrl + Pour réduire Ctrl - pour les Macs, utiliser la touche commande et non la touche contrôle

shortcut for font eclipse

46voto

akuhn Points 1116

Dans le fichier Eclipse.app se trouve un paramètre pour la taille de la police. Pour que les polices soient globalement plus grandes, éditez Eclipse.app " Contents " Eclipse " eclipse.ini et supprimez la ligne

-Dorg.eclipse.swt.internal.carbon.smallFonts

du fichier. Enregistrez le fichier et redémarrez Eclipse.

10voto

liberborn Points 111

S

  1. O

    cd /Applications/Eclipse.app/Contents/Eclipse/plugins/org.eclipse.ui.themes_1.2.1.v20170809-1435/css
    
    vim e4_basestyle.css
  2. A

    * {
        font-size: 14;
    }
  3. R

6voto

Daniel Serodio Points 1841

Pour autant que je sache, il n'y a pas de moyen d'augmenter la police globalement. Dans la fenêtre Préférences , naviguez jusqu'à Général > Apparence > Couleurs et polices.

Police de dialogue est la police utilisée dans les dialogues, et Police de texte utilisés dans les éditeurs de texte, etc.

Par contre, je ne sais pas comment augmenter la police pour le reste de l'interface graphique.

5voto

Gigy Points 51

Pour eclipse luna : éditer eclipse/plugins/org.eclipse.ui.themes_1.0.1.v20141126-1957/css/e4_default_gtk.css

et ajouter à la fin du fichier :

* {
  font-size:14;
} 

Cela permettra à Eclipse de conserver la même police de caractères si vous changez d'espace de travail.

LesApples.com

LesApples est une communauté de Apple où vous pouvez résoudre vos problèmes et vos doutes. Vous pouvez consulter les questions des autres utilisateurs d'appareils Apple, poser vos propres questions ou résoudre celles des autres.

Powered by:

X