[Eclipse] Comment augmenter la taille de la police de l’éditeur?[Eclipse] Comment augmenter la taille de la police de l’éditeur?

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 […]

LIRE PLUSLIRE PLUS