Par défaut, la police de l’éditeur dans Eclipse est du Consolas 10.
Ce qui pour certains d’entre nous peut être un peu petit (Ben oui nos yeux ne sont pas de dernières jeunesses, surtout quand on bosse toute la journée sur un écran).
Nous allons donc voir comment modifier cette police (et surtout la taille de la police).

• Cliquez sur Window / Preferences / General / Appearance / Colors and Fonts
  Vous pouvez aussi saisir dans le champ de recherche la valeur ‘Font’
• Dépliez le dossier Java
  (Ou celui pour le langage/option qui vous intéresse comme par exemple javascript)
• Sélectionnez le champ ‘Editor Text Font’
• Cliquez sur le bouton Edit…
• Sélectionnez la police et la taille qui vous intéresse.
• Cliquez sur OK pour validez vos modifications.

Et si vous voulez lire plus de chose sur Eclipse, je vous invite à jeter un coup d’œil à

• L’extension Subclipse pour Eclipse
• Eclipse Downloads

Point d’intérêt de cet article : Police éditeur Eclipse taille apparence préférences

Mots clefs liés à cet article:

• Editeur taille petit
• eclipse rapeticir les caractères
• agrandir taille soapui
• agrandir taille java
• eclipse augmenter la police
• augmenter taille police eclipse
• eclipse augmenter taille police
• comment augmenter la taille de police sous python 3 6
• comment afficher lediteur de code en java
• zoom du code sous rclipse