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).
Et si vous voulez lire plus de chose sur Eclipse, je vous invite à jeter un coup d’œil à
Dans le monde de l'agilité, le Product Owner se doit d'écrire des user stories simples,… Read More
Parce que, contrairement à ce que l'on pourrait penser ce soir qu'il pleut des cordes,… Read More
Un peu d’humour en attendant le résultat des élections présidentielles françaises. Read More
Si vous n'avez pas accès à l'interface graphique de votre Linux, vous pouvez modifier l'horloge… Read More
Si quelqu'un m'avait dit en Janvier que je réécrirais un article dans l'année sur des… Read More
Il y a quelques semaines, mois, voire années (tout est subjectif) nos enfants (et nos… Read More
View Comments