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

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

Général → Apparence → Couleurs et polices → Police de 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 changer la taille de la police pour tous les fichiers et projets Java 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 soupçonne que vous modifiez les mauvaises préférences.

• Dans la barre d'outils Eclipse, sélectionnez Fenêtre → Préférences
• Définissez la taille de la police, Général → Apparence → Couleurs et polices → Java → Police 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é vers le menu Préférences Eclipse (plus nommé menu Fenêtre ).

Remarque sur l'éclipse v4.3 (Kepler)

Le menu Fenêtre est de nouveau actif, c'est-à-dire le menu Fenêtre → Préférences .

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

Sur Mac:

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

2. Général → Apparence → Couleurs et polices → De base → Police de texte

3. Appliquer

Pour Eclipse Neon

Pour augmenter Ctrl +

Pour réduire Ctrl -

Cela a fonctionné pour moi:

1. Dans la barre d'outils 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 ):

   

3. Enregistrez les préférences.

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

Voir l'image:

L' extension Eclipse-Fonts ajoutera des boutons de barre d'outils et des raccourcis clavier pour changer la taille de la police. Vous pouvez ensuite utiliser AutoHotkey pour faire un zoom Ctrl+ molette de la souris .

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

Terminez l'installation et redémarrez Eclipse. Ensuite, vous devriez voir les boutons de la barre d'outils A (encerclés en rouge dans l'image suivante) et pouvoir utiliser les raccourcis clavier Ctrl+ -etCtrl + =pour zoomer (bien que vous deviez d'abord dissocier ces touches d'Eclipse).

Pour obtenir Ctrl+ le 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

Fenêtre de menu → Préférences . Général → Apparence → Couleurs et polices → De base → Police de texte

Si vous utilisez Windows, essayez avec CTRL, SHIFT, + et pour diminuer la taille de la police, vous pouvez utiliser CTRL, SHIFT, -

Appuyez sur ctrl + '-' pour diminuer et ctrl + '+' pour augmenter la taille de la police. Son travail pour moi dans Eclipse Oxygen.

Vous pouvez jeter un œil au thème de couleurs 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être → Préférences
2. Définissez la taille de la police ( Général → Apparence → Couleurs et polices → Éditeurs de texte structuré → Police de texte de l'éditeur de texte structuré (défini par défaut: Police du texte) → Edit...).
3. Enregistrez les préférences.

Dans la barre d'outils Eclipse, sélectionnez Fenêtre → Préférences , définissez la taille de police ( Général → Apparence → Couleurs et polices → De base → Police 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 console.

De nombreuses options de police de texte, y compris la note relative à la police de texte de l'éditeur Java, sont "définies par défaut: Police de texte". Le «défaut» peut être trouvé et configuré comme suit:

Dans la barre d'outils Eclipse, sélectionnez Fenêtre → Préférences . Accédez à: ( Général → Apparence → Couleurs et polices → De base → Police du texte ) (en bas)

• Cliquez sur Edit et sélectionnez la police, le style et la taille
• Cliquez sur OK dans la boîte de dialogue Police
• Cliquez sur Apply dans la boîte de dialogue Préférences pour le vérifier
• Cliquez OKdans la boîte de dialogue Préférences pour l'enregistrer

Eclipse se souviendra de vos paramètres pour votre espace de travail actuel.

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

J'ai tendance à utiliser le menu Windows → Préférences → Général → Apparences → Couleurs et polices → Éditeurs de texte Java → Modifier → Appliquer .

Essayez le plugin tarlog. Vous pouvez modifier la police via 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, accédez au 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.

J'ai trouvé le meilleur moyen d'augmenter la taille de la police dans Eclipse:

Suivez ce chemin: Eclipse-Folder \ plugins \ org.eclipse.ui.themes_1.2.100.v20180514-1547 \ css

--Il y a un tas de fichiers ici et cela dépend du système utilisateur quel fichier changer.

* {
  font-size:13;
  font-family: Helvetica, Arial, sans-serif;
  font-weight: normal;
} 

vous pouvez même changer la famille de polices si vous le souhaitez.

1. Pour les utilisateurs de Windows, ajoutez l'élément CSS suivant au BAS de ces fichiers: Noms de fichiers: e4_default_gtk.css & e4_default_win.css

2. Pour les utilisateurs Mac: e4_default_mac.css