462 votes

Comment changer la taille de la police dans les éditeurs de texte d'Eclipse pour Java ?

Je viens d'essayer de modifier la taille de ma police dans Eclipse 3.6.0 de la manière suivante :

Général → Apparence → Couleurs et polices → Police du texte de l'éditeur Java.

Cependant, la taille de la police n'a changé que dans le fichier que j'avais ouvert. Comment puis-je modifier la taille de la police pour tous les fichiers et projets Java que j'ouvre dans Eclipse ?

437voto

DwB Points 14687

Si vous modifiez la taille de la police, mais que cela ne fonctionne que pour le fichier actuellement ouvert, je pense que vous modifiez les mauvaises préférences.

  1. Dans la barre d'outils de l'éclipse, sélectionnez Fenêtre ! Préférences
  2. Définissez la taille de la police (général → apparence → couleurs et polices → Java > police de texte de l'éditeur Java).
  3. Enregistrez les préférences.

Vérifiez que vous n'avez pas de préférences par projet, celles-ci remplacent les préférences de niveau supérieur.

Note sur Juno
Selon le commentaire ci-dessous, ceci a été déplacé vers l'Eclipse ! Preferences (qui ne s'appelle plus le menu Window).

Note de Kepler
Le site Window Le menu est à nouveau actif, c'est-à-dire que Window ! Preferences

73voto

bennyboy Points 516

Sur MAC ;

  1. Barre d'outils d'Eclipse Eclipse --> Préférences OU " commande, "

  2. Général --> Apparence --> Couleurs et polices --> Basique --> Police de texte

  3. Appliquer

54voto

AlvaroCachoperro Points 311

Cela a marché pour moi :

  1. Dans la barre d'outils d'eclipse, sélectionnez Fenêtre → Préférences.

  2. Définissez la taille de la police (général → apparence → couleurs et polices → de base → police du texte) :

    enter image description here

  3. Enregistrez les préférences.

32voto

Sumit Singh Points 8601
General → Appearance → Colors and Fonts → Java Editor text font

Voir l'image :

enter image description here

13voto

ThmHarsh Points 96

enter image description here

Fenêtre -> Préférences. Général → Apparence → Couleurs et polices → Basique → Police de texte

Prograide.com

Prograide est une communauté de développeurs qui cherche à élargir la connaissance de la programmation au-delà de l'anglais.
Pour cela nous avons les plus grands doutes résolus en français et vous pouvez aussi poser vos propres questions ou résoudre celles des autres.

Powered by:

X