24 février 2015 - Les sources d'UIOP

[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 {...}