[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

[Java] Comment modifier les identifiants de connexion dans l’extension Subclipse de ECLIPSE?[Java] Comment modifier les identifiants de connexion dans l’extension Subclipse de ECLIPSE?

Dans ECLIPSE, le plug-in Subclipse est un client pour SVN (un gestionnaire de version). Le problème, c’est que cette extension ne possède pas d’interface graphique pour la gérer. Pas d’interface graphique, implique du coup des problèmes le jour ou vous devez modifier le mot de passe ou le compte que vous utilisez pour vous connecter […]

LIRE PLUSLIRE PLUS
Le Pere Noel en retraite ou au chomage.

[Actu] Mais que fait le Père Noël?[Actu] Mais que fait le Père Noël?

Pour la cinquième année consécutive le Père Noël s’invite sur ce blog. Et celui-ci semble s’approcher à grand pas pour distribuer ses cadeaux aux petits et aux grands. Déjà, en cette fin d’année, tous les magasins sont prêts à l’aider dans sa lourde tâche pour faire tourner notre société de consommation. (Les lutins aux dernières […]

LIRE PLUSLIRE PLUS