Comment modifier la taille de la police dans les éditeurs de texte Eclipse pour Java?

Je viens d’essayer de changer la taille de la police dans Eclipse 3.6.0 de la manière suivante:

Général → Apparence → Couleurs et fonts → Police de texte de l’éditeur Java

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

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

  • Dans la barre d’outils Eclipse, sélectionnez FenêtrePréférences
  • Définissez la taille de la police, GénéralApparenceCouleurs et fontsJavaPolice de texte de l’éditeur Java ).
  • Enregistrez les préférences.

Vérifiez que vous n’avez pas de préférences par projet. Ceux-ci remplaceront les préférences de niveau supérieur.

Note sur Eclipse v4.2 (Juno)

Par commentaire ci-dessous, cela a été déplacé dans le menu Préférences Eclipse (qui ne s’appelle plus le menu Fenêtre ).

Note Eclipse v4.3 (Kepler)

Le menu Fenêtre est réactivé, c’est-à-dire le menu FenêtrePréférences .

Remarque Assurez-vous de vérifier la réponse de ChandraBhan Singh , elle montre les raccourcis clavier pour modifier la taille de la police.

Sur Mac:

  1. Barre d’outils Eclipse Eclipse → Préférences OU Commande + , (virgule)

  2. GénéralApparenceCouleurs et fonts → De basePolice de texte

  3. Appliquer

Cela a fonctionné pour moi:

  1. Sur la barre d’outils Eclipse, sélectionnez FenêtrePréférences .

  2. Définissez la taille de la police ( GénéralApparenceCouleurs et fonts → De basePolice de texte ):

    Entrez la description de l'image ici

  3. Enregistrez les préférences.

Pour Eclipse Neon

Pour augmenter Ctrl +

Réduire Ctrl

raccourci pour la police eclipse

 General → Appearance → Colors and Fonts → Java Editor text font 

Voir l’image:

entrer la description de l'image ici

L’extension Eclipse-Fonts ajoute des boutons de barre d’outils et des raccourcis clavier pour modifier la taille de la police. Vous pouvez ensuite utiliser AutoHotkey pour effectuer un zoom Ctrl + molette .

Dans le menu AideInstaller un nouveau logiciel … collez l’URL de mise à jour ( http://eclipse-fonts.googlecode.com/svn/trunk/FontsUpdate/ ) dans la zone de texte Works with: et appuyez sur Entrée . Développez l’arborescence et sélectionnez FontsFeature comme dans l’image suivante:

Capture d'écran d'installation de l'extension Eclipse

Terminez l’installation et redémarrez Eclipse. Ensuite, vous devriez voir les boutons de la barre d’outils A (entourés en rouge dans l’image suivante) et pouvoir utiliser les raccourcis clavier Ctrl + - et Ctrl + = pour zoomer (bien que vous devrez peut-être détacher d’abord ces touches d’Eclipse).

Capture d'écran Eclipse avec les boutons de la barre d'outils de la taille de la police encerclés

Pour obtenir Ctrl + zoom de la molette de la souris , vous pouvez utiliser AutoHotkey avec le script suivant:

 ; Ctrl + mouse wheel zooming in Eclipse. ; Requires Eclipse-Fonts (https://code.google.com/p/eclipse-fonts/). ; Thank you for the unique window class, SWT/Eclipse. ; #IfWinActive ahk_class SWT_Window0 ^WheelUp:: Send ^{=} ^WheelDown:: Send ^- #IfWinActive 

Entrez la description de l'image ici

Fenêtre de menu → Préférences . GénéralApparenceCouleurs et fonts → De basePolice de texte

Vous pouvez regarder le thème de la couleur Eclipse , qui propose également de nombreuses options pour personnaliser la police, la couleur d’arrière-plan, etc.

  1. Dans la barre de menus, sélectionnez FenêtrePréférences
  2. Définissez la taille de la police ( GénéralApparenceCouleurs et fontsÉditeurs de texte structuréPolice de texte de l’éditeur de texte structuré (définie par défaut: Police de texte)Modifier ... ).
  3. Enregistrez les préférences.

Si vous utilisez Windows, essayez avec CTRL, SHIFT, + et pour une taille de police décroissante, vous pouvez utiliser CTRL, SHIFT, –

Dans la barre d’outils Eclipse, sélectionnez FenêtrePréférences , définissez la taille de la police ( GénéralApparenceCouleurs et fonts → De basePolice de texte ).

Enregistrez les préférences.

En exécutant Eclipse v4.3 (Kepler), les étapes décrites par AlvaroCachoperro font l’affaire pour l’éditeur de texte Java et le texte de la fenêtre de la console.

La plupart des options de police de texte, y compris la note de la police de texte Java Editor, sont “définies par défaut: Police de texte”. Le ‘default’ peut être trouvé et configuré comme suit:

Sur la barre d’outils Eclipse, sélectionnez FenêtrePréférences . Accédez à: ( GénéralApparenceCouleurs et fonts → De basePolice de texte ) (en bas)

  • Cliquez sur Modifier et sélectionnez la police, le style et la taille
  • Cliquez sur OK dans la boîte de dialog Police.
  • Cliquez sur Appliquer dans la boîte de dialog Préférences pour le vérifier.
  • Cliquez sur OK dans la boîte de dialog Préférences pour l’enregistrer.

Eclipse se souviendra de vos parameters pour votre espace de travail actuel.

J’enseigne la programmation et utilise la police plus grande pour les étudiants à l’arrière.

J’ai tendance à utiliser le menu WindowsPréférencesGénéralApparencesCouleurs et fontsÉditeurs de texte JavaModifierAppliquer .

Essayez le plugin tarlog. Vous pouvez changer la police avec les commandes Ctrl ++ et Ctrl– avec. Une chose très pratique.

https://code.google.com/archive/p/tarlog-plugins/downloads

Vous pouvez utiliser

touche Ctrl et + ou –

Si vous utilisez STS, allez dans le répertoire STS / Contents / Eclipse et ouvrez le fichier STS.ini.

Dans le fichier STS.ini, supprimez la ligne de revêtement de sol:

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

Et redémarrez le STS.