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.
preference apparence Police éditeur Eclipse

Modification de l’apparence dans l’éditeur d’Eclipse


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

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
  • augmenter taille police eclipse
  • zoom du code sous rclipse
  • comment afficher lediteur de code en java
  • comment augmenter la taille de police sous python 3 6
  • eclipse augmenter taille police
  • eclipse zoomer caractères
  • eclipse taille police
  • eclipse grossir laffichage
  • eclipse grossir caractères