Comment augmenter la taille de la police d'Eclipse à l'échelle mondiale?


37

J'aimerais savoir comment augmenter la taille de la police pour Eclipse afin qu'il ajuste l'ensemble de l'interface graphique afin de ne pas paraître trop petit sur mon écran.

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

(Si c'est utile, je suis sur Snow Leopard.)

Réponses:


33

À l'intérieur du fichier Eclipse.app se trouve un paramètre de taille de police. Pour agrandir globalement les polices, éditez Eclipse.app »Sommaire» Eclipse »eclipse.ini et supprimez la ligne

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

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


2
Cela aide vraiment, gentil!
Henrique Ordine

1
Génial. Cela résout également la petite taille des éléments d'interface, comme l'explorateur de packages. Je devenais aveugle avant ... BTW, vous savez ce qui va bien? J'ai une telle ligne dans mon eclipse.ini deux fois, l'une a été commentée et l'autre pas. Je me demande pourquoi ils l'ont fait ...
Fran Marzoa

2
Sur Mars, il se trouve dans Eclipse.app/Contents/Eclipse/eclipse.ini. J'ai également trouvé deux lignes dans le fichier .ini contenant cette définition -D. Veillez donc à toutes les supprimer avant de redémarrer.
andrewz

Cela devrait être la réponse acceptée. C’est le seul moyen que j’ai trouvé d’augmenter les polices de l’interface utilisateur graphique dans Eclipse sous OS X.
toolbear

3
Dans Neon, le fichier .ini est également /Applications/Eclipse.app/Contents/Eclipse/eclipse.iniidentique à celui commenté par @andrewz. En outre, le fichier .ini contient également deux lignes, que vous devez supprimer.
Adino

38

Allez dans Préférences> Général> Apparence> Couleurs et polices, développez le dossier "Base", sélectionnez "Police du texte" et modifiez-le à la taille de votre choix.

Pour Eclipse Neon : Pour augmenter la combinaison de touches Ctrl + Pour réduire la combinaison de touches Ctrl - sur Mac, utilisez la touche de commande et non la touche de contrôle

raccourci pour l'éclipse de police


1
Ça ne foncrionne pas du tout. J'utilise Kelper sur le yosemite.
Alex

2
Cela ne change que la police du texte. Comme l’a demandé le PO, cela n’a aucun impact sur l’interface graphique.
toolbear

1
ctrl shift +ça marche aussi, c’était le seul moyen pour moi de zoomer (éclipse 7.2)
PeterM

6

Pour autant que je sache, il n'y a aucun moyen d'augmenter le nombre de polices au niveau mondial. Dans les préférences d'Eclipse , accédez à Général> Apparence> Couleurs et polices.

La police de dialogue est la police utilisée dans les boîtes de dialogue, et la police de texte utilisée dans les éditeurs de texte, etc.

Je ne sais pas comment augmenter la police pour le reste de l'interface graphique, cependant.


@ MichaelLange voir ma réponse.
Akuhn

C'est un compromis raisonnable pour moi. Eclipse utilise tellement de possibilités d'écran sur les interfaces graphiques que c'est le seul moyen raisonnable d'obtenir également beaucoup d' informations .
Thorbjørn Ravn Andersen

5

Solution pour l'oxygène Eclipse chez MacOS High Sierra (déc 2017)

  1. Ouvrez le terminal et lancez les commandes:

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

    * {
        font-size: 14;
    }
  3. Redémarrez Eclipse pour appliquer les modifications.


1
J'espère qu'il est permis de remarquer ici que cette solution fonctionne également sur Eclipse Oxygen Linux. Le fichier se trouve dans plugins / org.eclipse.ui.themes_1.2.1.v20170809-1435 / css J'ai utilisé font-size: 24; sur mon écran (car il est un peu plus élevé que les Macs de la rétine)
mak

En 2019, le fichier css Eclipse est dans ~ / .p2 / pool / plugins / ...
jptknta Il y a

3

Pour Eclipse Luna: modifier eclipse/plugins/org.eclipse.ui.themes_1.0.1.v20141126-1957/css/e4_default_gtk.css

et ajouter en fin de fichier:

* {
  font-size:14;
} 

Eclipse conservera la même police si vous changez d’espace de travail.


J'ai édité /Applications/Eclipse.app/Contents/Eclipse/plugins/org.eclipse.ui.themes_1.1.300.v20161107-1827/css/e4_basestyle.csset ça marche sur Sierra!
cahn

0

Eclipse est installé sur une machine Linux. Il y a quelque temps, j'ai fait une mise à jour de Linux et les polices de l'ensemble du système ont été gâchées. Toutes les polices ont été agrandies. Donc, je suis allé partout redimensionner les polices pour chaque application.

Devine quoi?! Lors de la prochaine mise à jour de Linux, les polices sont revenues à la normale. Cependant, je devais revenir en arrière et annuler tous les redimensionnements de polices que j'avais précédemment effectués pour chaque application. Ainsi, lorsque le temps est venu de réinitialiser les polices dans Eclipse, je ne me souvenais plus exactement de ce que j'avais fait. Je suis allé à l'endroit suivant:

Window > Preferences > General > Appearance > Colors and Fonts > Basic > Text Font > Edit

Peu importe ce que j'ai fait sur ce paramètre, la police est restée la même.

J'ai finalement compris quel était le problème. J'ai également redimensionné les polices à l'emplacement suivant:

Window > Preferences > General > Appearance > Colors and Fonts > Structured Text Editors > Structured Text Editor Text Font (overrides default: Text Font) > Edit

Une fois ce paramètre modifié, les polices sur Eclipse sont revenues à la normale.


0

REMARQUE: pour les utilisateurs de Google, cette modification n’a aucun effet sur les versions ultérieures d’El Capitan et de Mars pour MacOS / Eclipse. Consultez cette question connexe: Yosemite: Comment augmenter la taille de la police d’Eclipse au niveau mondial?


Supprimer l’option smallfonts du fichier eclipse.ini a bien fonctionné pour moi dans Neon on Sierra. Êtes-vous sûr d'avoir supprimé les deux occurrences de l'option du fichier?
Ward Muylaert

L'augmentation de la taille de la police est très subtile. Prenez une capture d'écran avant / après et comparez.
Wisbucky le


0

eclipse sur Mac, pour la police dans la barre d’outils, vous devez aller dans les préférences système-> display-> resolution et changer la police système.


0

fenêtre -> préférence -> général -> apparence -> couleurs et polices -> basique -> police du texte


0

Menu: fenêtre -> éditeur -> zoom avant / arrière

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.